理查德·斯塔特曼 类型化lambda-Calculus不是初等递归。 73-81 1979 9 理论。计算。科学。 db/journals/tcs/tcs9.html#Statman79a https://doi.org/10.1016/0304-3975(79)90007-0 https://www.wikidata.org/entity/Q56050817