Towards a typed Geometry of Interaction
From MaRDI portal
Publication:3564345
DOI10.1017/S096012951000006XzbMath1239.03039MaRDI QIDQ3564345
Esfandiar Haghverdi, Philip J. Scott
Publication date: 2 June 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (4)
Partial traces on additive categories ⋮ A Representation Theorem for Unique Decomposition Categories ⋮ On geometry of interaction for polarized linear logic ⋮ Aspects of Categorical Recursion Theory
Cites Work
- Linear logic
- A new duality theory for compact groups
- A categorical model for the geometry of interaction
- \(W^ *\)-categories
- 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
- On traced monoidal closed categories
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- Geometry of Interaction and linear combinatory algebras
- A categorical framework for finite state machines
- Towards a quantum programming language
- Traced monoidal categories
This page was built for publication: Towards a typed Geometry of Interaction
