1. Abstract scalars, loops, free traced and strongly compact closed categories;Abramsky,2005
2. A categorical semantics of quantum protocols;Abramsky,2004
3. Abstract physical traces;Abramsky;Theory and Applications of Categories,2005
4. Quantum quandaries: a category-theoretic perspective;Baez,2004
5. Higher-dimensional algebra and topological quantum field theory;Baez;Journal of Mathematical Physics,1995