3 research outputs found
Recursion does not always help
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.Comment: Improved presentation a littl