Linear Recursive Functions

DOI10.1007/978-3-540-73147-4_9zbMath1186.03064OpenAlexW1486217062MaRDI QIDQ3608817

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

zbMATH Keywords

iterationcomputable functionsrecursion theorylinear calculi

Mathematics Subject Classification ID

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

Related Items (4)

Natural number objects in Dialectica categories ⋮ Partial Recursive Functions and Finality ⋮ On the reification of semantic linearity ⋮ List Objects with Algebraic Structure

This page was built for publication: Linear Recursive Functions