Quantum coherent spaces and linear logic

DOI10.1051/ITA/2010021zbMath1211.68241OpenAlexW2109574220MaRDI QIDQ2998726

Stefano Baratella

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

zbMATH Keywords

linear logicnormalizationdenotational semanticsbounded exponentialsquantum coherent spaces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Semantics of quantum programming languages: Classical control, quantum control

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