Proofs as Polynomials
From MaRDI portal
Publication:5415631
DOI10.1016/j.entcs.2008.10.005zbMath1286.03161OpenAlexW2124058279MaRDI QIDQ5415631
Esfandiar Haghverdi, Philip J. Scott
Publication date: 13 May 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.005
linear logiccharacterization theoremsgeometry of interactiontraced categoriesunique decomposition categories
Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- A categorical model for the geometry of interaction
- New foundations for the geometry of interaction
- Glueing and orthogonality for models of linear logic
- Feedback for linearly distributive categories: Traces and fixpoints
- Nuclear and trace ideals in tensored \(^*\)-categories
- Typed GoI for Exponentials
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- Geometry of Interaction and linear combinatory algebras
- Traced monoidal categories
- Computer Science Logic
- Retracing some paths in process algebra