Another simplification of the recursion scheme

DOI10.1007/BF02007251zbMath0343.02026OpenAlexW1982054975MaRDI QIDQ4110990

No author found.

Publication date: 1976

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137921

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

Definitional schemes for primitive recursive and computable functions ⋮ Primitive iteration and unary functions ⋮ Iteration on notation and unary functions ⋮ Spaces with combinators ⋮ A classification of the one-argument primitive recursive functions ⋮ Closure functions and general iterates as reflectors

Cites Work

• Simplifications of the recursion scheme
• Primitive recursive functions