Linear Recursive Functions

DOI10.1007/978-3-540-73147-4_9MaRDI QIDQ3608817zbMATH OpenOpenAlexFDO

Authors Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie

Publication date 6 March 2009

Published in Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73147-4_9

zbMATH Keywords

computable functionsiterationlinear calculirecursion theory

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Linear logic and elementary time
• scientific article; zbMATH DE number 515724
• scientific article; zbMATH DE number 4055576
• The Power of Linear Functions
• Turing-Completeness Totally Free

Cited in

(6)

• Natural number objects in Dialectica categories
• scientific article; zbMATH DE number 1261165 (Why is no real title available?)
• Partial recursive functions and finality
• List Objects with Algebraic Structure
• scientific article; zbMATH DE number 5218509 (Why is no real title available?)
• On the reification of semantic linearity

This page was built for publication: Linear Recursive Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608817)