Quantum coherent spaces and linear logic
From MaRDI portal
Publication:2998726
DOI10.1051/ITA/2010021zbMath1211.68241OpenAlexW2109574220MaRDI QIDQ2998726
Publication date: 10 May 2011
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/193069
Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bounded linear logic: A modular approach to polynomial-time computability
- *-Autonomous categories and linear logic
- An Introduction to Banach Space Theory
- Games and full completeness for multiplicative linear logic
- Multiplexor Categories and Models of Soft Linear Logic
- Truth, modality and intersubjectivity
This page was built for publication: Quantum coherent spaces and linear logic