Recursion does not always help
Abstract
We show that adding recursion does not increase the total functions definable in the typed $\lambda\beta\eta$-calculus or the partial functions definable in the $\lambda\Omega$-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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2022
- DOI:
- 10.48550/arXiv.2206.08413
- arXiv:
- arXiv:2206.08413
- Bibcode:
- 2022arXiv220608413P
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- Improved presentation a little