Similar Items: A categorical account of composition methods in logic (extended version)
- Categorical composable cryptography: extended version
- Hilbert's Tenth Problem in Coq (Extended Version)
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Dagger linear logic for categorical quantum mechanics
- Categorical Semantics of Compositional Reinforcement Learning
- Categorical Proof Theory of Co-Intuitionistic Linear Logic