@article{SadrGrefQI11,
  title = "A Compositional Distributional Semantics, Two Concrete Constructions,  and some Experimental Evaluations",
  author = "Mehrnoosh Sadrzadeh and Edward Grefenstette",
  year = "2011",
  affiliation = "Department of Computer Science, University of Oxford",
  journal = "Lecture Notes in Computer Science",
  pages = "35--47",
  publisher = "Springer",
  url = "http://arxiv.org/abs/1105.1702",
  volume = "7052",
}
@article{GrefSadrzadehEMNLP2011,
  title = "Experimental Support for a Categorical Compositional Distributional Model of Meaning",
  author = "Edward Grefenstette and Mehrnoosh Sadrzadeh",
  year = "2011",
  journal = "Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing",
  url = "http://www.aclweb.org/anthology-new/D/D11/D11-1129.pdf",
}
@article{SadrGrefGEMS11,
  title = "Experimenting with Transitive Verbs in a DisCoCat",
  author = "Edward Grefenstette and Mehrnoosh Sadrzadeh",
  year = "2011",
  journal = "Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics",
  url = "http://www.aclweb.org/anthology-new/W/W11/W11-2507.pdf",
}
@article{GrefenstetteSadrzadehClarkCoeckePulman2010,
  title = "Concrete Sentence Spaces for Compositional Distributional Models of Meaning",
  author = "Edward Grefenstette and Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke and Stephen Pulman",
  year = "2011",
  journal = "Proceedings of the 9th International Conference on Computational Semantics (IWCS11)",
  pages = "125--134",
  url = "http://www.aclweb.org/anthology/W/W11/W11-0114.pdf",
}
@article{CE,
  title = "Toy Quantum Categories (Extended Abstract)",
  author = "Bob Coecke and Bill Edwards",
  year = "2011",
  journal = "Electronic Notes in Theoretical Computer Science",
  note = "{a}rXiv:0808.1037",
  number = "1",
  pages = "29 - 40",
  volume = "270",
}
@article{CES,
  title = "Phase groups and the origin of non-locality for qubits",
  author = "Bob Coecke and Bill Edwards and Robert W. Spekkens",
  year = "2011",
  journal = "Electronic Notes in Theoretical Computer Science",
  note = "{a}rXiv:1003.5005",
  number = "2",
  pages = "15-36",
  volume = "270",
}
@article{CWWWZ,
  title = "Graphical Calculus for Quantum Key Distribution (Extended Abstract)",
  author = "Bob Coecke and Quanlong Wang and Baoshan Wang and Yongjun Wang and Qiye Zhang",
  year = "2011",
  journal = "Electronic Notes in Theoretical Computer Science",
  number = "2",
  pages = "231 - 249",
  url = "http://www.sciencedirect.com/science/article/B75H1-523KWFB-4/2/6197b31b523ba8c0c9b27a2e1e5be1e0",
  volume = "270",
}
@techreport{3762,
  title = "Categorical Quantum Circuits",
  author = "Ville Bergholm and Jacob Biamonte",
  year = "2011",
  institution = "OUCL",
  journal = "Journal of Physics A: Mathematical and Theoretical",
  month = "Sep 28th",
  number = "RR-10-17",
  url = "http://www.comlab.ox.ac.uk/publications/publication3762-abstract.html",
}
@inproceedings{CK,
  title = "The Compositional Structure of Multipartite Quantum Entanglement",
  author = "Bob Coecke and Aleks Kissinger",
  year = "2010",
  booktitle = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)",
  note = "Extended version: {a}rXiv:1002.2540",
  pages = "297-308",
  series = "Lecture Notes in Computer Science",
}
@inproceedings{CPer,
  title = "Environment and classical channels in categorical quantum mechanics",
  author = "Bob Coecke and Simon Perdrix",
  year = "2010",
  booktitle = "Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL)",
  note = "Extended version: {a}rXiv:1004.1598",
  pages = "230-244",
  series = "Lecture Notes in Computer Science",
  volume = "6247",
}
@techreport{3755,
  title = "Categorical Tensor Network States",
  author = "Jacob D. Biamonte,Stephen R.Clark and Dieter Jaksch",
  year = "2010",
  institution = "OUCL",
  journal = "arXiv:1012.0531v1 [quant-ph]",
  keywords = "Tensor Networks, Simulation, MPS, CTNS, PEPS, MERA, Category Theory, Quantum Mechanics and Quantum Theory",
  month = "Sep",
  number = "RR-10-14",
  pages = "31",
  url = "http://arxiv.org/pdf/1012.0531v1",
}
@article{3411,
  title = "Towards quantum chemistry on a quantum computer",
  author = "B. P. Lanyon, J. D. Whitfield, G. G. Gillett, M. E. Goggin, M. P. Almeida, I. Kassal, J. D. Biamonte (Oxford), B. J. Powell, M. Barbieri, A. Aspuru-Guzik  &  A. G. White",
  year = "2010",
  journal = "Nature Chem.",
  number = "2",
  pages = "106–111",
  url = "http://www.nature.com/nchem/journal/v2/n2/abs/nchem.483.html",
  doi = "doi:10.1038/nchem.483",
}
@article{v08-cpcn,
  title = "Categorical properties of the complex numbers",
  author = "Jamie Vicary",
  year = "2010",
  journal = "Journal of Mathematical Physics",
  note = "To appear",
  url = "http://arxiv.org/abs/0807.2927",
}
@article{v08-cfqa,
  title = "Categorical formulation of finite-dimensional quantum algebras",
  author = "Jamie Vicary",
  year = "2010",
  journal = "Communications in Mathematical Physics",
  note = "To appear",
  url = "http://arxiv.org/abs/0805.0432",
}
@article{ContPhys,
  title = "Quantum Picturalism",
  author = "Bob Coecke",
  year = "2009",
  journal = "Contemporary Physics",
  note = "{a}rXiv:0908.1787",
  pages = "59-83",
  volume = "51",
}
@inbook{Duncan:2009cs,
  title = "Generalised Proof-Nets for Compact Categories with Biproducts",
  author = "Ross Duncan",
  year = "2009",
  booktitle = "Semantics of Quantum Computation",
  editor = "S. Gay and I. Mackie",
  keywords = "categorical quantum mechanics; compact closed categories; proof-nets; quantum computing",
  note = "Preprint available at http://arxiv.org/abs/0903.5154",
  publisher = "Cambridge University Press",
}
@inproceedings{Duncan:2009ph,
  title = "Graph States and the necessity of Euler Decomposition",
  author = "Ross Duncan and Simon Perdrix",
  year = "2009",
  booktitle = "Computability in Europe: Mathematical Theory and Computational Practice (CiE'09)",
  editor = "Ambos-Spies, K. and L\"{o}we, B. and Merkle, W.",
  keywords = "quantum computing; categorical quantum mechanics; graphical calculi; measurement-based quantum computing; entanglement",
  note = "Preprint available at http://arxiv.org/abs/0902.0500",
  pages = "167--177",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5635",
  doi = "10.1007/978-3-642-03073-4",
}
@article{Lucas-Dixon:2009yq,
  title = "Graphical Reasoning in Compact Closed Categories for Quantum Computation",
  author = "Lucas Dixon and Ross Duncan",
  year = "2009",
  journal = "Annals of Mathematics and Artificial Intelligence",
  keywords = "categorical quantum mechanics; compact closed categories; rewriting; graphical calculi",
  note = "preprint available at http://arxiv.org/abs/0902.0514",
  doi = "10.1007/s10472-009-9141-x",
}
@techreport{RR-09-04,
  title = "The Group Theoretic Origin of Non-Locality For Qubits",
  author = "Bob Coecke and Bill Edwards and Rob Spekkens",
  year = "2009",
  institution = "OUCL",
  number = "RR-09-04",
  pages = "22",
}
@inproceedings{CD,
  title = "Interacting quantum observables",
  author = "Bob Coecke and Ross Duncan",
  year = "2008",
  booktitle = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)",
  note = "Extended version: {a}rXiv:quant-ph/09064725",
  series = "Lecture Notes in Computer Science",
}
@inproceedings{Dixon:2008ys,
  title = "Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation",
  author = "Lucas Dixon and Ross Duncan",
  year = "2008",
  booktitle = "Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings",
  editor = "Autexier, Serge and Campbell, John and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek",
  keywords = "rewriting; quantum computing; categorical logic; interactive theorem proving; graphical calculi",
  pages = "77-92",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5144",
  doi = "10.1007/978-3-540-85110-3_8",
}
@inproceedings{Coecke:2008nx,
  title = "Interacting Quantum Observables",
  author = "Bob Coecke and Ross Duncan",
  year = "2008",
  booktitle = "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II",
  keywords = "categorical quantum mechanics; quantum computing;",
  note = "A significantly revised and expanded version of this paper is available as preprint http://arxiv.org/abs/0906.4725",
  pages = "298-310",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5126",
  doi = "10.1007/978-3-540-70583-3_25",
}
@article{1026,
  title = "Non-perturbative k-body to two-body commuting conversion Hamiltonians and embedding problem instances into Ising spins",
  author = "J.D. Biamonte",
  year = "2008",
  journal = "Physical Review A 77, 052331",
  url = "http://arxiv.org/pdf/0801.3800v3",
  doi = "10.1103/PhysRevA.77.052331",
}
@techreport{RR-08-03,
  title = "Scalar Inverses in Quantum Structuralism",
  author = "Bob Coecke and Dusko Pavlovic",
  year = "2008",
  institution = "OUCL",
  number = "RR-08-03",
}
@techreport{RR-08-02,
  title = "Classical and Quantum Structures",
  author = "Bob Coecke and Eric O Paquette and Dusko Pavlovic",
  year = "2008",
  institution = "OUCL",
  number = "RR-08-02",
}
@article{cpv08-ndob,
  title = "A new description of orthogonal bases",
  author = "Bob Coecke and Dusko Pavlovic and Jamie Vicary",
  year = "2008",
  journal = "ENTCS",
  note = "To appear",
  url = "http://arxiv.org/abs/0810.0812",
}
@article{v07-cfqho,
  title = "A categorical framework for the quantum harmonic oscillator",
  author = "Jamie Vicary",
  year = "2008",
  journal = "International Journal of Theoretical Physics",
  number = "12",
  pages = "3408--3447",
  url = "http://arxiv.org/abs/0706.0711",
  volume = "47",
}
@incollection{CPav,
  title = "Quantum measurements without sums",
  author = "Bob Coecke and Dusko Pavlovic",
  year = "2007",
  booktitle = "Mathematics of Quantum Computing and Technology",
  editor = "G.~Chen and L.~Kauffman and S.~Lamonaco",
  note = "\mbox{a}rXiv:quant-ph/0608035",
  pages = "567--604",
  publisher = "Taylor and Francis",
}
@techreport{RR-07-05,
  title = "Complete Positivity without Positivity and Without Compactness",
  author = "Bob Coecke",
  year = "2007",
  institution = "Oxford University Computing Laboratory",
  month = "September",
  number = "RR-07-05",
}
@phdthesis{Duncan:thesis:2006,
  title = "Types for Quantum Computing",
  author = "Ross Duncan",
  year = "2006",
  institution = "Oxford University",
  note = "This thesis was the runner up for the British Computer Society Distinguished Dissertation award.",
  url = "http://www.bcs.org/server.php?show=conMediaFile.10119",
}
@article{AbrDun:CQLv2:2004,
  title = "A Categorical Quantum Logic",
  author = "Samson Abramsky and Ross Duncan",
  year = "2006",
  journal = "Mathematical Structures in Computer Science",
  note = "Preprint available at http://arxiv.org/abs/quant-ph/0512114",
  number = "3",
  pages = "469-489",
  volume = "16",
  doi = "10.1017/S0960129506005275",
}
@techreport{RR-06-02,
  title = "Quantum measurements without sums",
  author = "Bob Coecke and Dusko Pavlovic",
  year = "2006",
  institution = "Oxford University Computing Laboratory",
  month = "July",
  number = "RR-06-02",
}
@conference{JP05b,
  title = "Resources for measurement-based quantum computation: A unifying view",
  author = "Ph. Jorrand, S. Perdrix",
  year = "2005",
  booktitle = "Proceedings of Quantum Information, Computation and Communication",
  howpublished = "Proceedings of Quantum Information, Computation and Communication",
  journal = "Proceedings of Quantum Information, Computation and Communication",
  pages = "111-120",
  url = "http://www.pps.jussieu.fr/~perdrix/publi/Perdrix-Publications/jorrand-perdrix.pdf",
}
@inproceedings{AC,
  title = "A categorical semantics of quantum protocols",
  author = "Samson Abramsky and Bob Coecke",
  year = "2004",
  booktitle = "Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science",
  note = "Extended version: arXiv:0808.1023",
  pages = "415-425",
  publisher = "IEEE Computer Science Press",
}
@techreport{RR-04-18,
  title = "Believe it or not, Bell states are a model of multiplicative linear logic",
  author = "Ross Duncan",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "October",
  number = "RR-04-18",
}
@inproceedings{AbrDun:CQLv1:2004,
  title = "A Categorical Quantum Logic",
  author = "Samson Abramsky and Ross Duncan",
  year = "2004",
  booktitle = "Proceedings of the 2nd International Workshop on Quantum Programming Languages",
  edition = "Selinger, Peter",
  keywords = "quantum computing; compact closed categories; proof-nets",
  note = "This paper is largely superceded by the MSCS publication with the same title, however some details, such as the sequent calculus presentation, are only found in this version.",
  series = "Turku Centre for Computer Science General Publication",
  url = "http://quasar.mathstat.uottawa.ca/~selinger/qpl2004/PDFS/02Abramsky-Duncan.pdf",
  volume = "33",
}
@techreport{RR-04-02,
  title = "A Categorical semantics of Quantum Protocols",
  author = "Samson Abramsky and Bob Coecke",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "February",
  number = "RR-04-02",
}
@techreport{RR-03-12,
  title = "The Logic of Entanglement. An invitation. (Version 0.9999)",
  author = "Bob Coecke",
  year = "2003",
  institution = "Oxford University Computing Laboratory",
  month = "October",
  number = "RR-03-12",
}