逻辑关系与类型lambda-Calculus 理查德·斯塔特曼 85-97年 信息控制。 5月/6月 1985 65 2/3 db/journals/iandc/iandc65.html#Statman85 https://doi.org/10.1016/S0019-9958(85)80001-2