Miriam Backens (2014):
The ZX-calculus is complete for stabilizer quantum mechanics.
New Journal of Physics 16(9),
pp. 093021,
doi:10.1088/1367-2630/16/9/093021.
E. Bernstein & U. Vazirani (1993):
Quantum complexity theory.
In: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing.
ACM New York, NY, USA,
pp. 11–20,
doi:10.1145/167088.167097.
Filippo Bonchi, PawełSobociński & Fabio Zanasi (2014):
A Categorical Semantics of Signal Flow Graphs,
pp. 435–450.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi: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.
Available at https://arxiv.org/abs/1003.4394.
Bob Coecke & Ross Duncan (2011):
Interacting quantum observables: categorical algebra and diagrammatics.
New Journal of Physics 13(4),
pp. 043016,
doi:10.1088/1367-2630/13/4/043016.
Bob Coecke & Aleks Kissinger (2017):
Picturing quantum processes,
doi: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,
doi: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,
pp. 131 – 152,
doi: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,
pp. 021003,
doi:10.1103/PhysRevX.5.021003.
Ross Duncan & Simon Perdrix (2009):
Graphs States and the necessity of Euler Decomposition.
Mathematical Theory and Computational Practice 5635,
pp. 167–177,
doi:10.1007/978-3-642-03073-4.
Ross Duncan & Simon Perdrix (2013):
Pivoting makes the ZX-calculus complete for real stabilizers.
Electronic Proceedings in Theoretical Computer Science,
doi: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),
pp. 454–473,
doi: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.
In: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017).
Available at 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,
pp. 193–209,
doi:10.4204/EPTCS.95.14.
Matthew McKague (2013):
On the power quantum computation over real Hilbert spaces.
International Journal of Quantum Information 11(01),
pp. 1350001,
doi: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),
pp. 153–171.
Michael A. Nielsen & Isaac L. Chuang (2010):
Quantum Computation and Quantum Information: 10th Anniversary Edition.
Cambridge University Press,
doi:10.1017/CBO9780511976667.
Simon Perdrix & Luc Sanselme (2017):
Determinism and Computational Power of Real Measurement-based Quantum Computation.
In: 21st International Symposium on Fundamentals of Computation Theory (FCT'17),
doi:10.1007/978-3-662-55751-8_31.
Simon Perdrix & Quanlong Wang (2016):
Supplementarity is Necessary for Quantum Diagram Reasoning.
In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016),
Leibniz International Proceedings in Informatics (LIPIcs) 58,
Krakow, Poland,
pp. 76:1–76:14,
doi:10.4230/LIPIcs.MFCS.2016.76.
Peter Selinger (2013):
Quantum circuits of T-depth one.
Phys. Rev. A 87,
pp. 042302,
doi: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,
doi:10.4204/EPTCS.172.20.