Musings around the geometry of interaction, and coherence

DOI10.1016/j.tcs.2010.12.023zbMath1222.03066OpenAlexW2044312499MaRDI QIDQ534708

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

zbMATH Keywords

linear logicgeometry of interactioninverse monoid\(*\)-autonomous categorycoherence completion

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Musings around the geometry of interaction, and coherence

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

This page was built for publication: Musings around the geometry of interaction, and coherence