Towards a geometry of recursion

DOI10.1016/J.TCS.2010.12.024zbMATH Open1222.03068OpenAlexW2023311579MaRDI QIDQ534710FDOQ534710

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

Recommendations

• scientific article
• 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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories
• Retracing some paths in process algebra
• Algebraically compact functors
• The geometry of linear higher-order recursion
• Title not available (Why is that?)
• Title not available (Why is that?)
• A categorical model for the geometry of interaction
• Glueing and orthogonality for models of linear logic
• The inverse semigroup of a sum-ordered semiring
• Head linear reduction and pure proof net extraction
• Computer Science Logic
• Title not available (Why is that?)
• New foundations for the geometry of interaction
• Title not available (Why is that?)
• Context semantics, linear logic, and computational complexity
• The formal language of recursion
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
• Title not available (Why is that?)
• Applying dispersion correction to numerical approximations of the two‐dimensional wave equation ‐ eigenproblems
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Recursion in curve geometry
• Title not available (Why is that?)
• 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)