Intensional aspects of function definitions
From MaRDI portal
Publication:673180
\(\mu\)-recursive definitionsextensional propertygeneralization of equational definitions of functions[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Herbrand-G%EF%BF%BD%EF%BF%BDdel-Kleene+systems&go=Go Herbrand-G��del-Kleene systems]intensional propertyprimitive recursive definitions
Recommendations
Cites work
- scientific article; zbMATH DE number 3966062 (Why is no real title available?)
- scientific article; zbMATH DE number 4053011 (Why is no real title available?)
- scientific article; zbMATH DE number 3910 (Why is no real title available?)
- scientific article; zbMATH DE number 3273184 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- About primitive recursive algorithms
- The formal language of recursion
Cited in
(11)- On primitive recursive algorithms and the greatest common divisor function
- System \(T\), call-by-value and the minimum problem
- On the asymptotic behaviour of primitive recursive algorithms
- Intensionality, definability and computation
- scientific article; zbMATH DE number 1778915 (Why is no real title available?)
- Computing minimum with primitive recursion over lists
- On the proof-theoretic foundation of general definition theory
- scientific article; zbMATH DE number 1531380 (Why is no real title available?)
- Decidability results for primitive recursive algorithms
- scientific article; zbMATH DE number 3853653 (Why is no real title available?)
- Intensionality versus extensionality and primitive recursion
This page was built for publication: Intensional aspects of function definitions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673180)