Similar Items: New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Dagger linear logic for categorical quantum mechanics
- Environment and classical channels in categorical quantum mechanics
- Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Qualitative Logics and Equivalences for Probabilistic Systems