Spahn new directions in categorical logic

Reference

• Bart Jacobs, New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic, arXiv:1205.3940