W. Dür, G. Vidal & J. I. Cirac (2000):
Three qubits can be entangled in two inequivalent ways.
Phys. Rev. A 62(062314).
S. Lack (2004):
Composing PROPs.
Theory and Applications of Categories 13,
pp. 147–163.
M. Hein, J. Eisert & H. J. Briegel (2004):
Multi-party entanglement in graph states.
Physical Review A 69(062311).
A. Joyal & R. Street (1991):
The geometry of tensor calculus I.
Advances in Mathematics 88,
pp. 55–112.
L. Dixon, R. Duncan, A. Merry & A. Kissinger (2011):
quantomatic software.
Available from http://dream.inf.ed.ac.uk/projects/quantomatic/.
G. M. Kelly & M. L. Laplaza (1980):
Coherence for compact closed categories.
Journal of Pure and Applied Algebra 19,
pp. 193–213.
R. Street (2007):
Quantum Groups: A Path to Current Algebra.
Cambridge University Press.
B. Coecke (2009):
Quantum Picturalism.
Contemporary Physics 51,
pp. 59–83.
arXiv:0908.1787.
B. Coecke & R. Duncan (2009):
Interacting quantum observables.
In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP).
arXiv:quant-ph/09064725.
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.
arXiv:quant-ph/0608035.
B. Coecke, D. Pavlovic & J. Vicary (2011):
A new description of orthogonal bases.
Mathematical Structures in Computer Science, to appear..
arXiv:quant-ph/0810.1037.
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.
arXiv:1002.2540.
B. Coecke, A. Kissinger, A. Merry & S. Roy (2011):
Rational calculus within graphical GHZ/W-calculus.
In: Proceedings of the Workshop on High Productivity Computations.
A. Miyake & F. Verstraete (2004):
Multipartite entanglement in 2 2 n quantum systems.
Physical Review A 69(012101).
V. Coffman, J. Kundu & W. K. Wooters (2000):
Distributed Entanglement.
Physical Review A 61(052306).
A. Carboni & R. F. C. Walters (1987):
Cartesian bicategories I.
Journal of Pure and Applied Algebra 49,
pp. 11–32.
M. A. Nielsen (1999):
Conditions for a class of entanglement transformations.
Physical Review Letters 83(2),
pp. 436–439.
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.
ArXiv:0808.1023.
F. Verstraete, J. Dehaene, B. De Moor & H. Verschelde (2002):
Four qubits can be entangled in nine different ways.
Physical Review A 65(052112).