Musings around the geometry of interaction, and coherence
From MaRDI portal
Publication:534708
DOI10.1016/j.tcs.2010.12.023zbMath1222.03066MaRDI QIDQ534708
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.023
linear logic; geometry of interaction; inverse monoid; \(*\)-autonomous category; coherence completion
03B70: Logic in computer science
03G30: Categorical logic, topoi
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Musings around the geometry of interaction, and coherence
- A categorical model for the geometry of interaction
- A syntactic theory of sequential control
- Coherence for compact closed categories
- Petri nets, event structures and domains. I
- Reversible, irreversible and optimal \(\lambda\)-machines
- Coherence completions of categories
- Full abstraction for PCF
- Objects and classes in Algol-like languages
- A relation for general and inverse semigroups.
- A topological approach to inverse and regular semigroups.
- Strict deterministic grammars
- A structural approach to reversible computation
- *-Autonomous categories and linear logic
- Bistructures, bidomains and linear logic
- Traced monoidal categories
- Retracing some paths in process algebra