Intensional aspects of function definitions

DOI10.1016/0304-3975(94)00268-9zbMATH Open0872.03033OpenAlexW2084548110MaRDI QIDQ673180FDOQ673180

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1778915
• Intensionality, definability and computation
• scientific article; zbMATH DE number 1531380
• Partial functions in type theory
• A complete characterization of primitive recursive intensional behaviours

zbMATH Keywords

\(\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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The formal language of recursion
• Title not available (Why is that?)
• About primitive recursive algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

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

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)