1. Abramsky, S.: Domain Theory and the Logic of Observable Properties. PhD thesis, Queen Mary College, London University (1987)
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 415–425, IEEE Computer Science Press (2004). arXiv:quant-ph/0402130v5
3. Adelman, M., Corbett, J.V.: A sheaf model for intuitionistic quantum mechanics. Appl. Categ. Struct. 3, 79–104 (1995)
4. Baez, J.C.: An Introduction to Spin Foam Models of Quantum Gravity and BF Theory. Lect. Notes Phys. 543, 25–94 (2000)
5. Baez, J.: Quantum quandaries: A category-theoretic perspective. In: French, S., Rickles, D., Sahatsi, J. (eds.) The Structural Foundations of Quantum Gravity. Oxford University Press, Oxford (2006)