Linear Recursive Functions

DOI10.1007/978-3-540-73147-4_9zbMATH Open1186.03064OpenAlexW1486217062MaRDI QIDQ3608817FDOQ3608817

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

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

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

zbMATH Keywords

iterationrecursion theorycomputable functionslinear calculi

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• Partial Recursive Functions and Finality
• List Objects with Algebraic Structure
• Natural number objects in Dialectica categories
• Title not available (Why is that?)
• 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)