论文标题
递归并不总是有帮助
Recursion does not always help
论文作者
论文摘要
我们表明，添加递归不会增加在键入的$λβη$ -calculus中可以定义的总函数，或者可以在$λΩ$ -calculus中定义的部分功能。结果，添加递归不会增加自由代数上的部分或总可定义功能的类别，尤其是在自然数上。
We show that adding recursion does not increase the total functions definable in the typed $λβη$-calculus or the partial functions definable in the $λΩ$-calculus. As a consequence, adding recursion does not increase the class of partial or total definable functions on free algebras and so, in particular, on the natural numbers.
