Richard Statman：类型lambda微积分不是初等递归（1977） conf/focs/Statman77 10.1109/SFCS.1977.34 类型化lambda-Calculus不是初等递归 1 理查德·斯塔特曼 1 90-94 焦点 焦点 1977 1977 dblp记录“conf/focs/Statman77”的RDF数据的来源信息 2023-03-23T23:57:54+0100