Musings around the geometry of interaction, and coherence
From MaRDI portal
Publication:534708
Recommendations
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)
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)