Musings around the geometry of interaction, and coherence

DOI10.1016/J.TCS.2010.12.023MaRDI QIDQ534708zbMATHOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• Automata, Languages and Programming
• A categorical model for the geometry of interaction
• From geometry of interaction to denotational semantics
• Geometry of Interaction and linear combinatory algebras
• Coherence completions of categories

Cites work

• scientific article; zbMATH DE number 1722659 (Why is no real title available?)
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 4179372 (Why is no real title available?)
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1086661 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 786500 (Why is no real title available?)
• scientific article; zbMATH DE number 234028 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A categorical model for the geometry of interaction
• A relation for general and inverse semigroups.
• A structural approach to reversible computation
• A syntactic theory of sequential control
• A topological approach to inverse and regular semigroups.
• Bistructures, bidomains and linear logic
• Coherence completions of categories
• Coherence for compact closed categories
• Full abstraction for PCF
• Musings around the geometry of interaction, and coherence
• Objects and classes in Algol-like languages
• Petri nets, event structures and domains. I
• Retracing some paths in process algebra
• Reversible, irreversible and optimal \(\lambda\)-machines
• Strict deterministic grammars
• Traced monoidal categories

Cited in

(3)

• New foundations for the geometry of interaction
• On categorical models of classical logic and the Geometry of Interaction
• Musings around the geometry of interaction, and coherence

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)