Intensional aspects of function definitions
From MaRDI portal
Publication:673180
DOI10.1016/0304-3975(94)00268-9zbMath0872.03033MaRDI 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 definitions; extensional property; generalization of equational definitions of functions; Herbrand-Gödel-Kleene systems; intensional property
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D20: Recursive functions and relations, subrecursive hierarchies
03D75: Abstract and axiomatic computability and recursion theory
Related Items
On the asymptotic behaviour of primitive recursive algorithms, Computing minimum with primitive recursion over lists, System \(T\), call-by-value and the minimum problem, Decidability results for primitive recursive algorithms, On primitive recursive algorithms and the greatest common divisor function, On the proof-theoretic foundation of general definition theory
Cites Work