Similar Items: Dagger linear logic for categorical quantum mechanics
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Environment and classical channels in categorical quantum mechanics
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- A Categorical Reconstruction of Quantum Theory
- Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
- Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory