Similar Items: A Categorical Reconstruction of Quantum Theory
- Environment and classical channels in categorical quantum mechanics
- Dagger linear logic for categorical quantum mechanics
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Categorical structures for type theory in univalent foundations
- Categorical Proof Theory of Co-Intuitionistic Linear Logic