1. A categorical semantics of quantum protocols;Abramsky,2004
2. Categorical quantum mechanics,2009
3. Introduction to categories and categorical logic;Abramsky,2009
4. Physics, topology, logic and computation: a Rosetta Stone;Baez,2009
5. H. Barnum, J. Barrett, M. Leifer and A. Wilce, Teleportation in general probabilistic theories, in Proceedings of the Clifford Lectures, Tulane University, March 12–15, 2008, to appear in Proceedings of Symposia in Applied Mathematics (AMS); also arXiv:0805.3553 (2008).