@mastersthesis{13596,
  title = "External traced monoidal categories",
  author = "Nick Hu",
  year = "2019",
  school = "University of Oxford",
}
@article{deSilvaBarbosa:ContextualityNoncommutativeGeometry,
  title = "Contextuality and noncommutative geometry in quantum mechanics",
  author = "de Silva, Nadish and Barbosa, Rui Soares",
  year = "2019",
  journal = "Communications in Mathematical Physics",
  note = "Earlier partial version (``Partial and total ideals of von Neumann algebras'') available as arXiv:1408.1172 [math.OA]",
  number = "2",
  pages = "375--429",
  volume = "365",
  doi = "10.1007/s00220-018-3222-9",
}
@inproceedings{AbrasmkyEtAl:MinimumResourcesSNL,
  title = "Minimum quantum resources for strong non-locality",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane",
  year = "2018",
  address = "Dagstuhl, Germany",
  booktitle = "Proceedings of 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)",
  editor = "Wilde, Mark M.",
  isbn = "978-3-95977-034-7",
  issn = "1868-8969",
  note = "Accepted for communication at 14th International Conference on Quantum Physics and Logic (QPL 2017); E-print: arXiv:1705.09312 [quant-ph]",
  pages = "9:1--9:20",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2018/8582",
  volume = "73",
  doi = "10.4230/LIPIcs.TQC.2017.9",
}
@article{DBLP:journals/corr/abs-1804-07832,
  title = "Normal forms for planar connected string diagrams",
  author = "Antonin Delpeuch and Jamie Vicary",
  year = "2018",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1804.07832",
  volume = "abs/1804.07832",
}
@inproceedings{EPTCS266.9,
  title = "Double Dilation $\neq$ Double Mixing (extended abstract)",
  author = "Zwart, Maaike and Coecke, Bob",
  year = "2018",
  booktitle = "{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Nijmegen, The Netherlands, 3-7 July 2017}",
  editor = "Coecke, Bob and Kissinger, Aleks",
  pages = "133-146",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  volume = "266",
  doi = "10.4204/EPTCS.266.9",
}
@article{CaruTowardsCohomologyInvariant2018,
  title = "Towards a cohomology invariant for non-locality and contextuality",
  author = "Giovanni Carù",
  year = "2018",
}
@article{11708,
  title = "Quotient Categories and Phases (Pre-print)",
  author = "Sean Tull",
  year = "2018",
  url = "https://arxiv.org/abs/1801.09532",
}
@article{12164,
  title = "Classical structures of CP maps are all canonical",
  author = "Stefano Gogioso",
  year = "2018",
  journal = "arXiv:1809.03466",
}
@article{12163,
  title = "Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach",
  author = "Stefano Gogioso and Carlo Maria Scandolo",
  year = "2018",
  journal = "Lecture Notes in Computer Science (QI 2018), arXiv:1806.00915",
}
@inproceedings{AbramskyBarbosaCaruDeSilvaKishidaMansfield_MinimumQuantumResources2017,
  title = "Minimum Quantum Resources for Strong Non-Locality",
  author = "Samson Abramsky and Rui Soares Barbosa and Giovanni Carù and Nadish de Silva and Kohei Kishida and Shane Mansfield",
  year = "2018",
  address = "Dagstuhl, Germany",
  annote = "Keywords: strong non-locality, maximal non-locality, quantum resources, three-qubit states",
  booktitle = "12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)",
  editor = "Mark M. Wilde",
  isbn = "978-3-95977-034-7",
  issn = "1868-8969",
  journal = "Leibniz International Proceedings in Informatics (LIPIcs)",
  note = "To appear",
  pages = "9:1--9:20",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2018/8582",
  volume = "73",
  doi = "10.4230/LIPIcs.TQC.2017.9",
}
@article{doi://10.1016/j.tcs.2018.03.008,
  title = "Generalized Relations in Linguistics & Cognition",
  author = "Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marden and Alexis Toumi",
  year = "2018",
  journal = "Theoretical Computer Science",
  url = "http://www.cs.ox.ac.uk/files/11024/GeneralisedRelations.pdf",
  doi = "10.1016/j.tcs.2018.03.008",
}
@inproceedings{DBLP:conf/www/StefanoniMK18,
  title = "Estimating the Cardinality of Conjunctive Queries over {RDF} Data Using Graph Summarisation",
  author = "Giorgio Stefanoni and Boris Motik and Egor V. Kostylev",
  year = "2018",
  booktitle = "Proceedings of the 2018 World Wide Web Conference on World Wide Web, {WWW} 2018, Lyon, France, April 23-27, 2018",
  pages = "1043--1052",
  url = "http://doi.acm.org/10.1145/3178876.3186003",
  doi = "10.1145/3178876.3186003",
}
@article{12161,
  title = "Quantum Field Theory in Categorical Quantum Mechanics",
  author = "Stefano Gogioso and Fabrizio Genovese",
  year = "2018",
  journal = "EPTCS (QPL 2018), arXiv:1805.12087",
}
@article{Coecke,
  title = "{Uniqueness of composition in quantum theory and linguistics}",
  author = "Coecke, Bob and Genovese, Fabrizio and Gogioso, Stefano and Marsden, Dan and Piedeleu, Robin",
  year = "2018",
  journal = "Electronic Proceedings in Theoretical Computer Science (Forthcoming)",
  keywords = "Compact Closed Categories,Compositional Semantics",
  url = "http://qpl.science.ru.nl/papers/QPL{\_}2017{\_}paper{\_}62.pdf",
}
@article{firstlaw,
  title = "The first law of general quantum resource theories",
  author = "Carlo Sparaciari and L\'{i}dia del Rio and Carlo Maria Scandolo and Philippe Faist and Jonathan Oppenheim",
  year = "2018",
  journal = "arXiv:1806.04937 [quant-ph]",
  month = "June",
  url = "https://arxiv.org/abs/1806.04937",
}
@article{objectivity,
  title = "Is it possible to be objective in every physical theory?",
  author = "Carlo Maria Scandolo, Roberto Salazar, Jaros\l{}aw K. Korbicz, Pawe\l{} Horodecki",
  year = "2018",
  journal = "arXiv:1805.12126 [quant-ph]",
  month = "May",
  url = "https://arxiv.org/abs/1805.12126",
}
@article{categorical-hypercubes,
  title = "Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach",
  author = "Stefano Gogioso and Carlo Maria Scandolo",
  year = "2018",
  journal = "arXiv:1806.00915 [quant-ph]",
  month = "June",
  url = "https://arxiv.org/abs/1806.00915",
}
@article{diagrammaticreconstruction,
  title = "Reconstructing quantum theory from diagrammatic postulates",
  author = "John Selby and Carlo Maria Scandolo and Bob Coecke",
  year = "2018",
  journal = "arXiv:1802.00367 [quant-ph]",
  month = "January",
  url = "https://arxiv.org/abs/1802.00367",
}
@article{gogioso2017cpt,
  title = "Categorical Probabilistic Theories",
  author = "Stefano Gogioso and Carlo Maria Scandolo",
  year = "2018",
  journal = "EPTCS",
  pages = "367--385",
  volume = "266",
}
@inproceedings{AbramskyEtAl:QuantumMonad,
  title = "The quantum monad on relational structures",
  author = "Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio",
  year = "2017",
  address = "Dagstuhl, Germany",
  booktitle = "Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)",
  editor = "Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Fran{\c{c}}ois",
  isbn = "978-3-95977-046-0",
  issn = "1868-8969",
  note = "E-print: arXiv:1705.07310 [cs.LO]",
  pages = "35:1--35:19",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum f\"{u}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2017/8129",
  volume = "83",
  doi = "10.4230/LIPIcs.MFCS.2017.35",
}
@article{Krumm2017,
  title = "{Thermodynamics and the structure of quantum theory}",
  author = "Krumm, M. and Barnum, H. and Barrett, J. and M{\"{u}}ller, M.P.",
  year = "2017",
  issn = "13672630",
  journal = "New Journal of Physics",
  keywords = "general probabilistic theories,higher-order interference,quantum thermodynamics,second law of thermodynamics,thermodynamic entropy,von Neumanns thought experiment",
  number = "4",
  volume = "19",
  doi = "10.1088/1367-2630/aa68ef",
}
@inproceedings{MarsdenGenovese2017,
  title = "{Custom Hypergraph Categories via Generalized Relations}",
  author = "Marsden, Daniel and Genovese, Fabrizio",
  year = "2017",
  booktitle = "7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)",
  editor = "Bonchi, Filippo and K{\"{o}}nig;, Barbara",
  keywords = "Categorical Semantics,Compositional Semantics,Conceptual Spaces,Generalized Relations",
  pages = "17:1--17:15",
  publisher = "Leibniz International Proceedings in Informatics",
  url = "http://arxiv.org/abs/1703.01204",
  doi = "10.4230/LIPIcs.CALCO.2017.17",
}
@article{AbramskyBarbosaMansfield:ContextualFraction,
  title = "Contextual fraction as a measure of contextuality",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Mansfield, Shane",
  year = "2017",
  journal = "Physical Review Letters",
  note = "E-print: arXiv:1705.07918 [quant-ph]; Earlier version (``Quantifying contextuality via linear programming'') accepted for communication to 13th International Conference on Quantum Physics and Logic (QPL 2016).",
  number = "050504",
  url = "https://link.aps.org/doi/10.1103/PhysRevLett.119.050504",
  volume = "119",
  doi = "10.1103/PhysRevLett.119.050504",
}
@inproceedings{abramsky2017minimum,
  title = "Minimum quantum resources for strong non-locality",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane",
  year = "2017",
  booktitle = "Proceedings of Theory of Quantum Computation, Communication and Cryptography (TQC)",
  month = "July",
}
@inproceedings{abramsky2017quantum,
  title = "The quantum monad on relational structures",
  author = "Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio",
  year = "2017",
  booktitle = "Proceedings of Mathematical Foundations of Computer Science (MFCS)",
  month = "August",
}
@article{AbramskyEtAl:CompleteCharacterizationAvN,
  title = "A complete characterization of {A}ll-versus-{N}othing arguments for stabilizer states",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and Perdrix, Simon",
  year = "2017",
  issn = "1364-503X",
  journal = "Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, Theme Issue on `Second quantum revolution: foundational questions'",
  note = "E-print: arXiv:1705.08459 [quant-ph]",
  number = "2106",
  url = "http://rsta.royalsocietypublishing.org/content/375/2106/201603853",
  volume = "375",
  doi = "10.1098/rsta.2016.0385",
}
@misc{Barrettlandscape,
  title = "{The computational landscape of general physical theories}",
  author = "Barrett, J. and de Beaudrap, N. and Hoban, M. J. and Lee, C. M.",
  year = "2017",
  month = "feb",
  pages = "1--15",
  url = "http://arxiv.org/abs/1702.08483",
}
@article{Higher-order-purity,
  title = "Ruling out higher-order interference from purity principles",
  author = "Howard Barnum and Ciarán Lee and Carlo Maria Scandolo and John Selby",
  year = "2017",
  journal = "Entropy",
  pages = "253",
  volume = "19",
  doi = "10.3390/e19060253",
}
@article{Chiribella-Scandolo-Purity,
  title = "Microcanonical thermodynamics in general physical theories",
  author = "Giulio Chiribella and Carlo Maria Scandolo",
  year = "2017",
  journal = "New J. Phys.",
  pages = "123043",
  volume = "19",
  doi = "10.1088/1367-2630/aa91c7",
}
@article{AbramskyEtAl:PossibilitiesDetermine,
  title = "Possibilities determine the combinatorial structure of probability polytopes",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane",
  year = "2016",
  journal = "Journal of Mathematical Psychology, Special Issue on Foundations of Probability (in press)",
  note = "E-print: arXiv:1603.07735 [quant-ph]",
  url = "http://www.sciencedirect.com/science/article/pii/S0022249616300013",
  doi = "10.1016/j.jmp.2016.03.006",
}
@article{Chiribella-Scandolo-entanglement-entropies,
  title = "Entanglement as an axiomatic foundation for statistical mechanics",
  author = "Giulio Chiribella and Carlo Maria Scandolo",
  year = "2016",
  journal = "arXiv:1608.04459 [quant-ph]",
  month = "August",
  url = "https://arxiv.org/abs/1608.04459",
}
@inproceedings{AbramskyEtAl:ContextualityCohomologyAndParadox,
  title = "Contextuality, cohomology and paradox",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane",
  year = "2015",
  address = "Dagstuhl, Germany",
  booktitle = "Proceedings of 24th EACSL Annual Conference on Computer Science Logic ({CSL} 2015)",
  editor = "Kreutzer, Stephan",
  isbn = "978-3-939897-90-3",
  issn = "1868-8969",
  note = "E-print: arXiv:1502.03097 [quant-ph]",
  pages = "211--228",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum f{\"{u}}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2015/5416",
  volume = "41",
  doi = "10.4230/LIPIcs.CSL.2015.211",
}
@article{DBLP:journals/corr/PiedeleuKCS15,
  title = "Open System Categorical Quantum Semantics in Natural Language Processing",
  author = "Robin Piedeleu and Dimitri Kartsaklis and Bob Coecke and Mehrnoosh Sadrzadeh",
  year = "2015",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1502.00831",
  volume = "abs/1502.00831",
}
@inproceedings{coecke2015compositional,
  title = "A compositional explanation of the ‘pet fish’phenomenon",
  author = "Coecke, Bob and Lewis, Martha",
  year = "2015",
  booktitle = "International Symposium on Quantum Interaction",
  organization = "Springer",
  pages = "179--192",
}
@inproceedings{monogamymacrosmall,
  title = "On monogamy of non-locality and macroscopic averages: examples and preliminary results",
  author = "Barbosa, Rui Soares",
  year = "2014",
  booktitle = "Proceedings of 11th workshop on Quantum Physics and Logic (QPL 2014)",
  editor = "Coecke, Bob and Hasuo, Ichiro and Panangaden, Prakash",
  note = "E-print: arXiv:1412.8541 [quant-ph]",
  pages = "36--55",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://arxiv.org/abs/1412.8541v1",
  volume = "172",
  doi = "10.4204/EPTCS.172.4",
}
@inproceedings{kartsadrqpl2014,
  title = "A Study of Entanglement in a Categorical Framework of Natural Language",
  author = "Dimitri Kartsaklis and Mehrnoosh Sadrzadeh",
  year = "2014",
  address = "Kyoto, Japan",
  booktitle = "Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL)",
  month = "June",
}
@article{heunen:cccc,
  title = "Characterizations of categories of commutative C*-subalgebras",
  author = "Chris Heunen",
  year = "2014",
  journal = "Communications in Mathematical Physics",
  number = "1",
  pages = "215-238",
  url = "http://arxiv.org/abs/1106.5942",
  volume = "331",
  doi = "10.1007/s00220-014-2088-8",
}
@article{heunenreyes:awstar,
  title = "Active lattices determine AW*-algebras",
  author = "Chris Heunen and Manuel L. Reyes",
  year = "2014",
  journal = "Journal of Mathematical Analysis and Applications",
  pages = "289-313",
  url = "http://arxiv.org/abs/1212.5778",
  volume = "416",
  doi = "10.1016/j.jmaa.2014.02.041",
}
@article{kunjwalheunenfritz:hypergraphs,
  title = "All joint measurability structures are quantum realizable",
  author = "Ravi Kunjwal and Chris Heunen and Tobias Fritz",
  year = "2014",
  journal = "Physical Review A",
  number = "5",
  pages = "052126",
  volume = "89",
  doi = "http://dx.doi.org/10.1103/PhysRevA.89.052126",
}
@article{8548,
  title = "Quantum theory realises all joint measurability graphs",
  author = "Chris Heunen and Tobias Fritz and Manuel L. Reyes",
  year = "2014",
  journal = "Physical Review A",
  pages = "032121",
  volume = "89",
  doi = "10.1103/PhysRevA.89.032121",
}
@inproceedings{heunen:piecewisedomains,
  title = "Piecewise Boolean algebras and their domains",
  author = "Chris Heunen",
  year = "2014",
  booktitle = "41st International Colloquium on Automata, Logic, and Programming",
  pages = "208-219",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8573",
  doi = "10.1007/978-3-662-43951-7_18",
}
@article{GrefenstetteSadrzadehCL14,
  title = "Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning",
  author = "Edward Grefenstette and Mehrnoosh Sadrzadeh",
  year = "2014",
  journal = "Computational Linguistics",
}
@article{springercomp,
  title = "Compositional Operators in Distributional Semantics",
  author = "Dimitri Kartsaklis",
  year = "2014",
  issn = "2213-7793",
  journal = "Springer Science Reviews",
  month = "April",
  doi = "10.1007/s40362-014-0017-z",
}
@inproceedings{MansfieldBarbosa:QPL2013,
  title = "Extendability in the sheaf-theoretic approach: Construction of {B}ell models from {K}ochen-{S}pecker models",
  author = "Mansfield, Shane and Soares Barbosa, Rui",
  year = "2013",
  booktitle = "Informal pre-proceedings of 10th Wokshop on Quantum Physics and Logic (QPL 2013), ICFo Barcelona",
  note = "E-print: arXiv:1402.4827 [quant-ph]",
  url = "http://arxiv.org/pdf/1402.4827.pdf",
}
@inbook{coeckeheunenkissinger:compositionalquantumlogic,
  title = "Compositional quantum logic",
  author = "Bob Coecke and Chris Heunen and Aleks Kissinger",
  year = "2013",
  booktitle = "Computation, Logic, Games, and Quantum Foundations",
  chapter = "Compositional Quantum Logic",
  editor = "Bob Coecke and Luke Ong and Prakash Panangaden",
  pages = "21-36",
  url = "http://arxiv.org/abs/1302.4900",
  doi = "10.1007/978-3-642-38164-5_3",
}
@article{8547,
  title = "Matrix multiplication is determined by trace and orthogonality",
  author = "Chris Heunen and Clare Horseman",
  year = "2013",
  journal = "Linear Algebra and its Applications",
  number = "12",
  pages = "4130-4134",
  volume = "439",
  doi = "10.1016/j.laa.2013.09.039",
}
@phdthesis{GrefenstetteThesis2013,
  title = "Category-Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics",
  author = "Edward Grefenstette",
  year = "2013",
  affiliation = "University of Oxford",
  institution = "University of Oxford",
  location = "Oxford, UK",
  month = "June",
  url = "http://arxiv.org/abs/1311.1539",
}
@article{GrefenstetteTFDS,
  title = "Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors",
  author = "Edward Grefenstette",
  year = "2013",
  journal = "Proceedings of the Second Joint Conference on Lexical and Computational Semantics",
  url = "http://www.aclweb.org/anthology-new/S/S13/S13-1001.pdf",
}
@inbook{mehrnoosh2013,
  title = "Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras",
  author = "Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman and Bob Coecke",
  year = "2013",
  booktitle = "Logic and Algebraic Structures in Quantum Computing and Information",
  editor = "Chubb, J., Eskandarian, A. and Harizanov, V.",
  note = "To appear",
  publisher = "Cambridge University Press",
}
@article{CoeckeSadrGrefAPAL13,
  title = "Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus",
  author = "Bob Coecke and Edward Grefenstette and Mehrnoosh Sadrzadeh",
  year = "2013",
  journal = "Annals of Pure and Applied Logic",
  url = "http://arxiv.org/abs/1302.0393",
}
@book{QuantumPhysLingOUP,
  title = "Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse",
  year = "2013",
  editor = "Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette",
  isbn = "978-0199646296",
  month = "February",
  publisher = "Oxford University Press",
  url = "http://ukcatalogue.oup.com/product/9780199646296.do#.UPAFH4mLLqp",
}
@article{GrefSadrBarIWCS13,
  title = "Multi-Step Regression Learning for Compositional Distributional Semantics",
  author = "Edward Grefenstette and Georgiana Dinu and Yao-Zhong Zhang and Mehrnoosh Sadrzadeh and Marco Baroni",
  year = "2013",
  journal = "Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013)",
  url = "http://aclweb.org/anthology/W/W13/W13-0112.pdf",
}
@article{cpv08-ndob,
  title = "A new description of orthogonal bases",
  author = "Bob Coecke and Dusko Pavlovic and Jamie Vicary",
  year = "2013",
  journal = "Electronic Notes in Theoretical Computer Science",
  number = "3",
  pages = "555--567",
  url = "http://arxiv.org/abs/0810.0812",
  volume = "23",
  doi = "http://dx.doi.org/10.1017/S0960129512000047",
}
@incollection{unsharpvalues,
  title = "Unsharp values, domains and topoi",
  author = "D{\"o}ring, Andreas and Barbosa, Rui Soares",
  year = "2012",
  booktitle = "Quantum Field Theory and Gravity",
  editor = "Finster, Felix and M{\"u}ller, Olaf and Nardmann, Marc and Tolksdorf, J{\"u}rgen and Zeidler, Eberhard",
  isbn = "978-3-0348-0042-6",
  note = "E-print: arXiv:1107.1083 [quant-ph]",
  pages = "65--96",
  publisher = "Springer Basel",
  url = "http://link.springer.com/chapter/10.1007%2F978-3-0348-0043-3_5",
  doi = "10.1007/978-3-0348-0043-3_5",
}
@inproceedings{AbramskyMansfieldBarbosa:Cohomology-QPL,
  title = "The cohomology of non-locality and contextuality",
  author = "Abramsky, Samson and Mansfield, Shane and Barbosa, Rui Soares",
  year = "2012",
  booktitle = "Proceedings of 8th International Workshop on Quantum Physics and Logic (QPL 2011)",
  editor = "Jacobs, Bart and Selinger, Peter and Spitters, Bas",
  note = "E-print: arXiv:1111.3620 [quant-ph]",
  pages = "1--14",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://arXiv.org/pdf/1111.3620.pdf",
  volume = "95",
  doi = "10.4204/EPTCS.95.1",
}
@misc{AleksThesis,
  title = "Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing",
  author = "Kissinger, A.",
  year = "2012",
  note = "DPhil Thesis, Oxford University",
}
@article{vdbergheunen:colim,
  title = "Noncommutativity as a colimit",
  author = "Benno van den Berg and Chris Heunen",
  year = "2012",
  journal = "Applied Categorical Structures",
  number = "4",
  pages = "393-414",
  volume = "20",
  doi = "10.1007/s10485-011-9246-3",
}
@article{abramskyheunen:hstar,
  title = "H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics",
  author = "Samson Abramsky and Chris Heunen",
  year = "2012",
  journal = "Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics",
  pages = "1-24",
  url = "http://arxiv.org/abs/1011.6123",
  volume = "71",
}
@article{heunenreyes:diagonal,
  title = "Diagonalizing matrices over AW*-algebras",
  author = "Chris Heunen and Manuel L. Reyes",
  year = "2012",
  journal = "Journal of Functional Analysis",
  number = "8",
  pages = "1873-1898",
  url = "http://arxiv.org/abs/1208.5120",
  volume = "264",
  doi = "10.1016/j.jfa.2013.01.022",
}
@article{heunencontrerascattaneo:relfrobgpd,
  title = "Relative Frobenius algebras are groupoids",
  author = "Chris Heunen and Ivan Contreras and Alberto S. Cattaneo",
  year = "2012",
  journal = "Journal of Pure and Applied Algebra",
  pages = "114-124",
  url = "http://arxiv.org/abs/1112.1284",
  volume = "217",
  doi = "10.1016/j.jpaa.2012.04.002",
}
@article{heunenlandsmanspitters:synthese,
  title = "Bohrification of operator algebras and quantum logic",
  author = "Chris Heunen, Nicolaas P. Landsman, and Bas Spitters",
  year = "2012",
  journal = "Synthese",
  number = "3",
  pages = "719-752",
  volume = "186",
  doi = "10.1007/s11229-011-9918-4",
}
@inproceedings{kartsaklis_etal_2012,
  title = "A Unified Sentence Space for Categorical Distributional-Compositional Semantics: Theory and Experiments",
  author = "Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman",
  year = "2012",
  address = "Mumbai, India",
  booktitle = "Proceedings of 24th International Conference on Computational Linguistics (COLING): Posters",
  month = "December",
  pages = "549-558",
}
@article{boixoheunen:sequentializable,
  title = "Entangled and sequential quantum protocols with dephasing",
  author = "Sergio Boixo and Chris Heunen",
  year = "2011",
  journal = "Physical Review Letters",
  pages = "120402",
  volume = "108",
  doi = "10.1103/PhysRevLett.108.120402",
}
@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{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",
}