S. Abramsky
B. Coecke
2004
A categorical semantics of quantum protocols
Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science
IEEE Computer Science Press
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
51–60
A. Carboni
R. F. C. Walters
1987
Cartesian bicategories I
Journal of Pure and Applied Algebra
49
11–32
B. Coecke
2009
Quantum Picturalism
Contemporary Physics
51
59–83
arXiv:0908.1787
B. Coecke
R. Duncan
2008
Interacting quantum observables
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
15–36
arXiv:1003.5005
B. Coecke
A. Kissinger
2010
The Compositional Structure of Multipartite Quantum Entanglement
Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)
297–308
Extended version: arXiv:1002.2540
B. Coecke
D. Pavlovic
2007
Quantum measurements without sums
G. Chen
L. Kauffman
S. Lamonaco
Mathematics of Quantum Computing and Technology
Taylor and Francis
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
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
Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)
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
55–112
G. M. Kelly
M. L. Laplaza
1980
Coherence for compact closed categories
Journal of Pure and Applied Algebra
19
193–213
S. Lack
2004
Composing PROPs
Theory and Applications of Categories
13
147–163
R. Penrose
1971
Applications of negative dimensional tensors
Combinatorial Mathematics and its Applications
Academic Press
221–244
P. Selinger
2011
A survey of graphical languages for monoidal categories
B. Coecke
New Structures for Physics
Springer-Verlag
275–337
arXiv:0908.3347