A reduction of the recursion scheme

DOI10.2307/2270177zbMath0157.01702OpenAlexW2023062260MaRDI QIDQ5538912

M. D. Gladstone

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270177

zbMATH Keywords

mathematical logic

Related Items (5)

Definitional schemes for primitive recursive and computable functions ⋮ Primitive iteration and unary functions ⋮ Iteration on notation and unary functions ⋮ Unary primitive recursive functions ⋮ Closure functions and general iterates as reflectors

Cites Work

• Primitive recursive functions

This page was built for publication: A reduction of the recursion scheme