S. Abramsky & B. Coecke (2004):
A categorical semantics of quantum protocols.
In: Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science.
IEEE Computer Science Press,
pp. 415–425.
Extended version: arXiv:0808.1023.
M. Aguiar (2000):
A note on strongly separable algebras.
Boletín de la Academia Nacional de Ciencias (Córdoba, Argentina) 65,
pp. 51–60.
A. Carboni & R. F. C. Walters (1987):
Cartesian bicategories I.
Journal of Pure and Applied Algebra 49,
pp. 11–32.
B. Coecke (2009):
Quantum Picturalism.
Contemporary Physics 51,
pp. 59–83.
arXiv:0908.1787.
B. Coecke & R. Duncan (2008):
Interacting quantum observables.
In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP).
Extended version: arXiv:quant-ph/09064725.
B. Coecke, B. Edwards & R. W. Spekkens (2011):
Phase groups and the origin of non-locality for qubits.
Electronic Notes in Theoretical Computer Science 270(2),
pp. 15–36.
arXiv:1003.5005.
B. Coecke & A. Kissinger (2010):
The Compositional Structure of Multipartite Quantum Entanglement.
In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP),
pp. 297–308.
Extended version: arXiv:1002.2540.
B. Coecke & D. Pavlovic (2007):
Quantum measurements without sums.
In: G. Chen, L. Kauffman & S. Lamonaco: Mathematics of Quantum Computing and Technology.
Taylor and Francis,
pp. 567–604.
\voidb@x arXiv:quant-ph/0608035.
L. Dixon & R. Duncan (2009):
Graphical reasoning in compact closed categories for quantum computation.
Annals of Mathematics and Artificial Intelligence 51,
pp. 23–42.
L. Dixon, R. Duncan, A. Merry & A. Kissinger (2011):
quantomatic software.
Available from http://dream.inf.ed.ac.uk/projects/quantomatic/.
L. Dixon & A. Kissinger (2011):
Open graphs and monoidal theories.
arXiv:1011.4114.
R. Duncan (2006):
Types for Quantum Computation.
DPhil Thesis, Oxford University.
R. Duncan & S. Perdrix (2010):
Rewriting measurement-based quantum computations with generalised flow.
In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP),
pp. 285–296.
W. Dür, G. Vidal & J. I. Cirac (2000):
Three qubits can be entangled in two inequivalent ways.
Phys. Rev. A 62(062314).
M. Herrmann (2010):
Models of Multipartite Entanglement.
MSc Thesis, Oxford University.
A. Joyal & R. Street (1991):
The geometry of tensor calculus I.
Advances in Mathematics 88,
pp. 55–112.
G. M. Kelly & M. L. Laplaza (1980):
Coherence for compact closed categories.
Journal of Pure and Applied Algebra 19,
pp. 193–213.
S. Lack (2004):
Composing PROPs.
Theory and Applications of Categories 13,
pp. 147–163.
R. Penrose (1971):
Applications of negative dimensional tensors.
In: Combinatorial Mathematics and its Applications.
Academic Press,
pp. 221–244.
P. Selinger (2011):
A survey of graphical languages for monoidal categories.
In: B. Coecke: New Structures for Physics.
Springer-Verlag,
pp. 275–337.
arXiv:0908.3347.