Similar Items: Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Strict Hierarchy for Quantum Channel Certification to Unitary
- 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
- Ordered Models of the Lambda Calculus