Similar Items: Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- A Semantic Quantum Circuit Cache for Scalable and Distributed Quantum-Classical Workflows
- Dagger linear logic for categorical quantum mechanics
- Lax orthogonal factorisations in monad-quantale-enriched categories
- Quantum Circuits for Amplitude Reweighting
- Linear Dependent Type Theory for Quantum Programming Languages