@article(Backens:2012fk, author = "Miriam Backens", year = "2014", title = "The ZX-calculus is complete for stabilizer quantum mechanics", journal = "New J. Phys.", volume = "16", number = "093021", doi = "10.1088/1367-2630/16/9/093021", ) @article(BV97, author = "Ethan Bernstein and Umesh Vazirani", year = "1997", title = "Quantum complexity theory", journal = "SIAM Journal on Computing", volume = "26", number = "5", pages = "1411--1473", doi = "10.1137/S0097539796300921", ) @article(Coecke:2009aa, author = "Bob Coecke and Ross Duncan", year = "2011", title = "Interacting Quantum Observables: Categorical Algebra and Diagrammatics", journal = "New J. Phys", volume = "13", number = "043016", doi = "10.1088/1367-2630/13/4/043016", ) @incollection(Coecke:2009db, author = "Bob Coecke and Eric Oliver Paquette and Dusko Pavlovic", year = "2010", title = "Classical and quantum structuralism", editor = "S. Gay and I. Mackie", booktitle = "Semantic Techniques in Quantum Computation", chapter = "2", publisher = "Cambridge University Press", pages = "29--69", ) @article(EdgeLocal, author = "Lars Eirik Danielsen and Matthew G Parker", year = "2008", title = "Edge local complementation and equivalence of binary linear codes", journal = "Designs, Codes and Cryptography", volume = "49", number = "1-3", pages = "161--170", doi = "10.1007/s10623-008-9190-x", ) @phdthesis(Duncan:thesis:2006, author = "Ross Duncan", year = "2006", title = "Types for Quantum Computing", school = "Oxford University", ) @incollection(Duncan:2012uq, author = "Ross Duncan", year = "2013", title = "A graphical approach to measurement-based quantum computing", editor = "Chris Heunen and Mehrnoosh Sadrzadeh and and Edward Grefenstette", booktitle = "Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse", chapter = "3", publisher = "Oxford University Press", doi = "10.1093/acprof:oso/9780199646296.003.0003", ) @inproceedings(Duncan:2009ph, author = "Ross Duncan and Simon Perdrix", year = "2009", title = "Graph States and the necessity of {E}uler Decomposition", editor = "K. Ambos-Spies and B. L\"{o}we and W. Merkle", booktitle = "Computability in Europe: Mathematical Theory and Computational Practice (CiE'09)", series = "Lecture Notes in Computer Science", volume = "5635", publisher = "Springer", pages = "167--177", doi = "10.1007/978-3-642-03073-4", ) @inproceedings(Duncan:2010aa, author = "Ross Duncan and Simon Perdrix", year = "2010", title = "Rewriting measurement-based quantum computations with generalised flow", editor = "S. Abramsky and C. Gavoille and C Kirchner and F. Meyer auf der Heide and P. G. Spirakis", booktitle = "Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Proceedings Part II", series = "Lecture Notes in Computer Science", volume = "6199", publisher = "Springer", pages = "285--296", doi = "10.1007/978-3-642-14162-1\_24", ) @article(JS:1991:GeoTenCal1, author = "Andr\'e Joyal and Ross Street", year = "1991", title = "The Geometry of Tensor Categories I", journal = "Advances in Mathematics", volume = "88", pages = "55--113", doi = "10.1016/0001-8708(91)90003-P", ) @inproceedings(Lang:2011fk, author = "Alex Lang and Bob Coecke", year = "2011", title = "Trichromatic Open Digraphs for Understanding Qubits", booktitle = "Proceedings of 8th Workshop on Quantum Physics and Logic (QPL 2011)", series = "Electronic Proceedings in Theoretical Computer Science", volume = "95", pages = "193--209", doi = "10.4204/EPTCS.95.14", ) @article(MP2013, author = "Mehdi Mhalla and Simon Perdrix", year = "2013", title = "Graph States, Pivot Minor, and Universality of (X,Z)-Measurements", journal = "IJUC", volume = "9", number = "1-2", pages = "153--171", ) @article(nest2005edge, author = "Maarten Van den Nest and Bart De Moor", year = "2005", title = "Edge-local equivalence of graphs", journal = "arXiv preprint math/0510246", ) @article(VdN04, author = "Maarten. Van den Nest and Jeroen Dehaene and Bart {De Moor}", year = "2004", title = "Graphical description of the action of local Clifford transformations on graph states", journal = "Physical Review A", volume = "69", pages = "022316", doi = "10.1103/PhysRevA.69.022316", ) @inproceedings(Selinger:dagger:2005, author = "Peter Selinger", year = "2005", title = "Dagger compact closed categories and completely positive maps", booktitle = "Proceedings of the 3rd International Workshop on Quantum Programming Languages", )