Miriam Backens
2014
The ZX-calculus is complete for stabilizer quantum mechanics
New Journal of Physics
16
9
093021
10.1088/1367-2630/16/9/093021
E. Bernstein
U. Vazirani
1993
Quantum complexity theory
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
ACM New York, NY, USA
11–20
10.1145/167088.167097
Filippo Bonchi
PawełSobociński
Fabio Zanasi
2014
A Categorical Semantics of Signal Flow Graphs
435–450
Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-662-44584-6_30
Stephen Clark
Bob Coecke
Mehrnoosh Sadrzadeh
2010
Mathematical Foundations for a Compositional Distributional Model of Meaning.
Lambek Festschirft, special issue of Linguistic Analysis
https://arxiv.org/abs/1003.4394
Bob Coecke
Ross Duncan
2011
Interacting quantum observables: categorical algebra and diagrammatics
New Journal of Physics
13
4
043016
10.1088/1367-2630/13/4/043016
Bob Coecke
Aleks Kissinger
2017
Picturing quantum processes
10.1017/9781316219317
Cambridge University Press
Bob Coecke
Simon Perdrix
2012
Environment and classical channels in categorical quantum mechanics
Logical Methods in Computer Science
Volume 8, Issue 4
10.2168/LMCS-8(4:14)2012
Bob Coecke
Simon Perdrix
Éric Oliver Paquette
2008
Bases in Diagrammatic Quantum Protocols
Electronic Notes in Theoretical Computer Science
218
131 – 152
10.1016/j.entcs.2008.10.009
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)
Nicolas Delfosse
Philippe Allard Guerin
Jacob Bian
Robert Raussendorf
2015
Wigner Function Negativity and Contextuality in Quantum Computation on Rebits
Phys. Rev. X
5
021003
10.1103/PhysRevX.5.021003
Ross Duncan
Simon Perdrix
2009
Graphs States and the necessity of Euler Decomposition
Mathematical Theory and Computational Practice
5635
167–177
10.1007/978-3-642-03073-4
Ross Duncan
Simon Perdrix
2010
Rewriting measurement-based quantum computations with generalised flow
Lecture Notes in Computer Science
6199
285–296
10.1007/978-3-642-14162-1_24
http://personal.strath.ac.uk/ross.duncan/papers/gflow.pdf
Ross Duncan
Simon Perdrix
2013
Pivoting makes the ZX-calculus complete for real stabilizers
Electronic Proceedings in Theoretical Computer Science
10.4204/EPTCS.171.5
Richard P Feynman
Robert B Leighton
Matthew Sands
R Bruce Lindsay
1966
The feynman lectures on physics, vol. 3: Quantum mechanics
Lucien Hardy
William K. Wootters
2012
Limited Holism and Real-Vector-Space Quantum Theory
Foundations of Physics
42
3
454–473
10.1007/s10701-011-9616-6
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
2017
A Complete Axiomatisation of the ZX-Calculus for Clifford+ T Quantum Mechanics
arXiv preprint arXiv:1705.11151
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
Quanlong Wang
2017
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
https://hal.archives-ouvertes.fr/hal-01445707
Alex Lang
Bob Coecke
2011
Trichromatic Open Digraphs for Understanding Qubits
Electronic Proceedings in Theoretical Computer Science
95
193–209
10.4204/EPTCS.95.14
Matthew McKague
2013
On the power quantum computation over real Hilbert spaces
International Journal of Quantum Information
11
01
1350001
10.1142/S0219749913500019
Mehdi Mhalla
Simon Perdrix
2013
Graph States, Pivot Minor, and Universality of (X, Z)-measurements
International Journal of Unconventional Computing
9
1-2
153–171
Michael A. Nielsen
Isaac L. Chuang
2010
Quantum Computation and Quantum Information: 10th Anniversary Edition
Cambridge University Press
10.1017/CBO9780511976667
Simon Perdrix
Luc Sanselme
2017
Determinism and Computational Power of Real Measurement-based Quantum Computation
21st International Symposium on Fundamentals of Computation Theory (FCT'17)
10.1007/978-3-662-55751-8_31
Simon Perdrix
Quanlong Wang
2016
Supplementarity is Necessary for Quantum Diagram Reasoning
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)
Leibniz International Proceedings in Informatics (LIPIcs)
58
Krakow, Poland
76:1–76:14
10.4230/LIPIcs.MFCS.2016.76
Peter Selinger
2013
Quantum circuits of T-depth one
Phys. Rev. A
87
042302
10.1103/PhysRevA.87.042302
Christian Schröder de Witt
Vladimir Zamdzhiev
2014
The ZX-calculus is incomplete for quantum mechanics
Electronic Proceedings in Theoretical Computer Science
10.4204/EPTCS.172.20