Musings around the geometry of interaction, and coherence
From MaRDI portal
Publication:534708
DOI10.1016/J.TCS.2010.12.023zbMATH Open1222.03066OpenAlexW2044312499MaRDI QIDQ534708FDOQ534708
Authors: Jean Goubault-Larrecq 
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
Recommendations
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)
Cites Work
- Petri nets, event structures and domains. I
- Reversible, irreversible and optimal \(\lambda\)-machines
- Full abstraction for PCF
- A structural approach to reversible computation
- Title not available (Why is that?)
- Traced monoidal categories
- Retracing some paths in process algebra
- Coherence for compact closed categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A categorical model for the geometry of interaction
- Bistructures, bidomains and linear logic
- A topological approach to inverse and regular semigroups.
- A syntactic theory of sequential control
- *-Autonomous categories and linear logic
- Coherence completions of categories
- Objects and classes in Algol-like languages
- A relation for general and inverse semigroups.
- Strict deterministic grammars
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Musings around the geometry of interaction, and coherence
Cited In (3)
This page was built for publication: Musings around the geometry of interaction, and coherence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q534708)
