S. Abramsky
B. Coecke
2004
A categorical semantics of quantum protocols
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on
IEEE
415–425
10.1109/LICS.2004.1319636
B. Coecke
R. Duncan
2008
Interacting quantum observables
ICALP. Automata, Languages and Programming
298–310
10.1007/978-3-540-70583-3_25
B. Coecke
R. Duncan
2011
Interacting quantum observables: Categorical algebra and diagrammatics
New Journal of Physics
13
043016
10.1088/1367-2630/13/4/043016
B. Coecke
B. Edwards
2011
Three qubit entanglement within graphical Z/X-calculus
B. Coecke
B. Edwards
2011
Toy quantum categories
Electronic Notes in Theoretical Computer Science
270
1
29–40
10.1016/j.entcs.2011.01.004
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
10.1016/j.entcs.2011.01.021
B. Coecke
A. Kissinger
2010
The compositional structure of multipartite quantum entanglement
ICALP. Automata, Languages and Programming
297–308
10.1007/978-3-642-14162-1_25
B. Coecke
S. Perdrix
2010
Environment and classical channels in categorical quantum mechanics
Computer Science Logic
Springer
230–244
10.1007/978-3-642-15205-4_20
B. Coecke
S. Perdrix
É.O. Paquette
2008
Bases in diagrammatic quantum protocols
Electronic Notes in Theoretical Computer Science
218
131–152
10.1016/j.entcs.2008.10.009
Lucas Dixon
Aleks Kissinger
2010
Open Graphs and Monoidal Theories
R. Duncan
S. Perdrix
2009
Graph states and the necessity of Euler decomposition
Mathematical Theory and Computational Practice
167–177
10.1007/978-3-642-03073-4_18
R. Duncan
S. Perdrix
2010
Rewriting measurement-based quantum computations with generalised flow
ICALP. Automata, Languages and Programming
285–296
10.1007/978-3-642-14162-1_24
A. Hillebrand
2011
Quantum Protocols involving Multiparticle Entanglement and their Representations in the zx-calculus
University of Oxford MSc thesis
Clare Horsman
2011
Quantum picturalism for topological cluster-state computing
New Journal of Physics
13
9
095011
10.1088/1367-2630/13/9/095011
C. Kassel
1995
Quantum groups
155
Springer
10.1007/978-1-4612-0783-2
Joachim Kock
2003
Frobenius Algebras and 2-D Topological Quantum Field Theories
Cambridge University Press
10.1017/CBO9780511615443
S. Mac Lane
1998
Categories for the working mathematician
Springer
M. Van den Nest
J. Dehaene
B. De Moor
2004
Graphical description of the action of local Clifford transformations on graph states
Physical Review A
69
2
9422
10.1103/PhysRevA.69.022316
M.A. Nielsen
I. Chuang
2000
Quantum computation and quantum information
P. Selinger
2007
Dagger compact closed categories and completely positive maps
Electronic Notes in Theoretical Computer Science
170
139–163
10.1016/j.entcs.2006.12.018
Robert W. Spekkens
2007
Evidence for the epistemic view of quantum states: A toy theory
Phys. Rev. A
75
032110
10.1103/PhysRevA.75.032110
Ross Street
2004
Frobenius monads and pseudomonoids
Journal of Mathematical Physics
45
10
3930–3948
10.1063/1.1788852
Pawel Wocjan
Thomas Beth
2005
New construction of mutually unbiased bases in square dimensions
Quantum Information & Computation
5
2
93–101
http://portal.acm.org/citation.cfm?id=2011627