Towards a geometry of recursion

DOI10.1016/J.TCS.2010.12.024MaRDI QIDQ534710zbMATH OpenOpenAlexFDO

Authors Esfandiar Haghverdi

Publication date 10 May 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2010.12.024

zbMATH Keywords

recursiongeometry of interactionfixed-point operatorstraced categoriesunique decomposition categories

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) General topics in the theory of algorithms (68W01)

Recommendations

• scientific article; zbMATH DE number 4179372
• scientific article; zbMATH DE number 3966062
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Algebra and Coalgebra in Computer Science
• The category-theoretic solution of recursive program schemes

Cites work

• scientific article; zbMATH DE number 1722659 (Why is no real title available?)
• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 4179372 (Why is no real title available?)
• scientific article; zbMATH DE number 3929239 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3982549 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 1301806 (Why is no real title available?)
• scientific article; zbMATH DE number 1954368 (Why is no real title available?)
• scientific article; zbMATH DE number 1523050 (Why is no real title available?)
• scientific article; zbMATH DE number 3910 (Why is no real title available?)
• scientific article; zbMATH DE number 786500 (Why is no real title available?)
• A categorical model for the geometry of interaction
• Algebraically compact functors
• Applying dispersion correction to numerical approximations of the two‐dimensional wave equation ‐ eigenproblems
• Computer Science Logic
• Context semantics, linear logic, and computational complexity
• Geometry of Interaction and linear combinatory algebras
• Glueing and orthogonality for models of linear logic
• Head linear reduction and pure proof net extraction
• New foundations for the geometry of interaction
• Retracing some paths in process algebra
• The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
• The formal language of recursion
• The geometry of linear higher-order recursion
• The inverse semigroup of a sum-ordered semiring
• Traced monoidal categories
• Unique decomposition categories, Geometry of Interaction and combinatory logic

Cited in

(4)

• scientific article; zbMATH DE number 4179372 (Why is no real title available?)
• Recursion in curve geometry
• scientific article; zbMATH DE number 5587879 (Why is no real title available?)
• Memoryful geometry of interaction. II: Recursion and adequacy

This page was built for publication: Towards a geometry of recursion

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