Intensional aspects of function definitions
From MaRDI portal
Publication:673180
DOI10.1016/0304-3975(94)00268-9zbMath0872.03033OpenAlexW2084548110MaRDI QIDQ673180
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
primitive recursive definitions\(\mu\)-recursive definitionsextensional propertygeneralization of equational definitions of functionsHerbrand-Gödel-Kleene systemsintensional property
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