Simplifications of the recursion scheme
From MaRDI portal
Publication:5661859
DOI10.2307/2272468zbMath0248.02040OpenAlexW2086178947MaRDI QIDQ5661859
Publication date: 1972
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272468
Related Items
Definitional schemes for primitive recursive and computable functions, Primitive iteration and unary functions, General iteration and unary functions, Iteration on notation and unary functions, Another simplification of the recursion scheme, Partial Recursive Functions and Finality, A classification of the one-argument primitive recursive functions, Structural recursion as a query language on lists and ordered trees, Computability on reals, infinite limits and differential equations, A foundation for real recursive function theory, Closure functions and general iterates as reflectors
Cites Work