Intensional aspects of function definitions

DOI10.1016/0304-3975(94)00268-9zbMath0872.03033OpenAlexW2084548110MaRDI QIDQ673180

Daniel Fredholm

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00268-9

zbMATH Keywords

primitive recursive definitions\(\mu\)-recursive definitionsextensional propertygeneralization of equational definitions of functionsHerbrand-Gödel-Kleene systemsintensional property

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursive functions and relations, subrecursive hierarchies (03D20) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

Decidability results for primitive recursive algorithms ⋮ On primitive recursive algorithms and the greatest common divisor function ⋮ Computing minimum with primitive recursion over lists ⋮ On the proof-theoretic foundation of general definition theory ⋮ On the asymptotic behaviour of primitive recursive algorithms ⋮ System \(T\), call-by-value and the minimum problem

Cites Work

• About primitive recursive algorithms
• The formal language of recursion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item