@inproceedings(abramsky2004, author = "Samson Abramsky and Bob Coecke", year = "2004", title = "A categorical semantics of quantum protocols", booktitle = "Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on", organization = "IEEE", pages = "415--425", doi = "10.1109/LICS.2004.1319636", ) @incollection(abramsky2008, author = "Samson Abramsky and Bob Coecke", year = "2008", title = "Categorical quantum mechanics", editor = "Kurt Engesser and Dov M. Gabbay and Daniel Lehmann", booktitle = "Handbook of quantum logic and quantum structures: quantum logic", publisher = "Elsevier", pages = "261--324", doi = "10.1016/B978-0-444-52869-8.50014\-1", ) @article(acin2012, author = "Antonio Ac\'in and Tobias Fritz and Anthony Leverrier and Ana Bel{\'e}n Sainz", year = "2012", title = "A combinatorial approach to nonlocality and contextuality", journal = "arXiv:1212.4084", ) @book(awodey2006, author = "Steve Awodey", year = "2006", title = "Category theory", volume = "49", publisher = "Oxford University Press", doi = "10.1093/acprof:oso/9780198568612.001.0001", ) @article(nobroad, author = "Howard Barnum and Jonathan Barrett and Matthew Leifer and Alexander Wilce", year = "2007", title = "Generalized no-broadcasting theorem", journal = "Physical Review Letters", volume = "99", number = "24", pages = "240501", doi = "10.1103/PhysRevLett.99.240501", ) @inproceedings(teleportation, author = "Howard Barnum and Jonathan Barrett and Matthew Leifer and Alexander Wilce", year = "2012", title = "Teleportation in general probabilistic theories", booktitle = "Mathematical Foundations of Information Flow", series = "Proceedings of Symposia in Applied Mathematics", volume = "71", pages = "25--48", doi = "10.1090/psapm/071", ) @article(barnum2011, author = "Howard Barnum and Alexander Wilce", year = "2011", title = "Information processing in convex operational theories", journal = "Electronic Notes in Theoretical Computer Science", volume = "270", number = "1", pages = "3--15", doi = "10.1016/j.entcs.2011.01.002", ) @article(barrett, author = "Jonathan Barrett", year = "2007", title = "Information processing in generalized probabilistic theories", journal = "Physical Review A", volume = "75", number = "3", pages = "032304", doi = "10.1103/PhysRevA.75.032304", ) @misc(bennett, author = "Charles Henry Bennett", year = "2007", title = "More about entanglement and cryptography", howpublished = "\url {http://www.lancaster.ac.uk/users/esqn/windsor07/Lectures/Bennett2.pdf}", note = "Accessed: 2014-11-14", ) @article(cabello2010, author = "Ad\'an Cabello and Simone Severini and Andreas Winter", year = "2010", title = "(Non-) Contextuality of Physical Theories as an Axiom", journal = "arXiv:1010.2163", ) @article(cabello2014, author = "Ad\'an Cabello and Simone Severini and Andreas Winter", year = "2014", title = "Graph-Theoretic Approach to Quantum Correlations", journal = "Phys. Rev. Lett.", volume = "112", pages = "040401", doi = "10.1103/PhysRevLett.112.040401", ) @article(chiribella10, author = "Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo. Perinotti", year = "2010", title = "Probabilistic theories with purification", journal = "Phys. Rev. A", volume = "81", pages = "062348", doi = "10.1103/PhysRevA.81.062348", ) @article(chiribella11, author = "Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti", year = "2011", title = "Informational derivation of quantum theory", journal = "Phys. Rev. A", volume = "84", pages = "012311", doi = "10.1103/PhysRevA.84.012311", ) @article(chiribella12, author = "Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti", year = "2012", title = "Quantum Theory, namely the pure and reversible theory of information", journal = "Entropy", volume = "14", number = "10", pages = "1877--1893", doi = "10.3390/e14101877", ) @article(sharp, author = "Giulio Chiribella and Xiao Yuan", year = "2014", title = "Measurement sharpness cuts nonlocality and contextuality in every physical theory", journal = "arXiv preprint arXiv:1404.3348", ) @article(choi1975, author = "Man-Duen Choi", year = "1975", title = "Completely positive linear maps on complex matrices", journal = "Linear algebra and its applications", volume = "10", number = "3", pages = "285--290", doi = "10.1016/0024-3795(75)90075-0", ) @inproceedings(coecke2006, author = "Bob Coecke", year = "2006", title = "Kindergarten quantum mechanics---lecture notes", booktitle = "Quantum theory: reconsideration of foundations-3", series = "AIP Conference Proceedings", volume = "810", pages = "81--98", ) @article(coecke2008axiomatic, author = "Bob Coecke", year = "2008", title = "Axiomatic description of mixed states from Selinger's CPM-construction", journal = "Electronic Notes in Theoretical Computer Science", volume = "210", pages = "3--13", doi = "10.1016/j.entcs.2008.04.014", ) @article(coecke2010quantum, author = "Bob Coecke", year = "2010", title = "Quantum picturalism", journal = "Contemporary physics", volume = "51", number = "1", pages = "59--83", doi = "10.1080/00107510903257624", ) @article(coecke, author = "Bob Coecke", year = "2014", title = "Terminality implies non-signalling", journal = "arXiv preprint arXiv:1405.3681", ) @article(lal, author = "Bob Coecke and Raymond Lal", year = "2013", title = "Causal categories: relativistically interacting processes", journal = "Foundations of Physics", volume = "43", number = "4", pages = "458--501", doi = "10.1007/s10701-012-9646-8", ) @incollection(coecke2010environment, author = "Bob Coecke and Simon Perdrix", year = "2010", title = "Environment and Classical Channels in Categorical Quantum Mechanics", editor = "Anuj Dawar and Helmut Veith", booktitle = "Computer Science Logic", series = "Lecture Notes in Computer Science", volume = "6247", publisher = "Springer Berlin Heidelberg", pages = "230--244", doi = "10.1007/978-3-642-15205-4\_20", ) @incollection(dakic2011, author = "Borivoje Dakic and \u {C}aslav Brukner", year = "2011", title = "Quantum Theory and Beyond: Is Entanglement Special?", editor = "Hans Halvorson", booktitle = "Deep Beauty: Understanding the Quantum World Through Mathematical Innovation", publisher = "Cambridge University Press", pages = "365--392", doi = "10.1017/CBO9780511976971.011", ) @inproceedings(mauro2, author = "Giacomo Mauro D'Ariano", year = "2006", title = "How to Derive the Hilbert Space Formulation of Quantum Mechanics From Purely Operational Axioms", booktitle = "Quantum Mechanics: Are There Quantum Jumps? - and On the Present Status of Quantum Mechanics", series = "AIP Conference Proceedings", volume = "844", organization = "American Institute of Physics Melville, NY", pages = "101--128", doi = "10.1063/1.2219356", ) @incollection(mauro1, author = "Giacomo Mauro D'Ariano", year = "2010", title = "Probabilistic theories: what is special about quantum mechanics", editor = "Alisa Bokulich and Gregg Jaeger", booktitle = "Philosophy of quantum information and entanglement", publisher = "Cambridge University Press", address = "Cambridge", pages = "85--126", doi = "10.1017/CBO9780511676550.007", ) @article(GN, author = "Israel Moiseevich Gelfand and Mark Aronovich Naimark", year = "1943", title = "On the imbedding of normed rings into the ring of operators in Hilbert space", journal = "Matematiceskij sbornik", volume = "54", number = "2", pages = "197--217", ) @article(hardy2001, author = "Lucien Hardy", year = "2001", title = "Quantum theory from five reasonable axioms", journal = "quant-ph/0101012", ) @article(hardybig, author = "Lucien Hardy", year = "2011", title = "Reformulating and reconstructing quantum theory", journal = "arXiv:1104.2066", ) @article(hardy2013, author = "Lucien Hardy", year = "2013", title = "A formalism-local framework for general probabilistic theories, including quantum theory", journal = "Mathematical Structures in Computer Science", volume = "23", number = "02", pages = "399--440", doi = "10.1017/S0960129512000163", ) @article(masanes2011, author = "Llu{\'\i }s Masanes and Markus P M{\"u}ller", year = "2011", title = "A derivation of quantum theory from physical requirements", journal = "New Journal of Physics", volume = "13", number = "6", pages = "063001", doi = "10.1088/1367-2630/13/6/063001", ) @article(naimark, author = "Mark Naimark", year = "1940", title = "Spectral functions of a symmetric operator", journal = "Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya", volume = "4", number = "3", pages = "277--318", ) @article(ozawa, author = "Masanao Ozawa", year = "1984", title = "Quantum measuring processes of continuous observables", journal = "Journal of Mathematical Physics", volume = "25", number = "1", pages = "79--87", doi = "10.1063/1.526000", ) @book(paulsenbook, author = "Vern Paulsen", year = "2002", title = "Completely bounded maps and operator algebras", volume = "78", publisher = "Cambridge University Press", doi = "10.1017/CBO9780511546631", ) @article(S, author = "Irving Ezra Segal", year = "1947", title = "Irreducible representations of operator algebras", journal = "Bulletin of the American Mathematical Society", volume = "53", number = "2", pages = "73--88", doi = "10.1090/S0002-9904-1947-08742-5", ) @article(CPM, author = "Peter Selinger", year = "2007", title = "Dagger compact closed categories and completely positive maps", journal = "Electronic Notes in Theoretical Computer Science", volume = "170", pages = "139--163", doi = "10.1016/j.entcs.2006.12.018", ) @incollection(selinger2011survey, author = "Peter Selinger", year = "2011", title = "A Survey of Graphical Languages for Monoidal Categories", editor = "Bob Coecke", booktitle = "New Structures for Physics", series = "Lecture Notes in Physics", volume = "813", doi = "10.1007/978-3-642-12821-9\_4", ) @article(stine, author = "William Forrest Stinespring", year = "1955", title = "Positive functions on C*-algebras", journal = "Proceedings of the American Mathematical Society", volume = "6", number = "2", pages = "211--216", doi = "10.1090/S0002-9939-1955-0069403-4", ) @incollection(wilce2000test, author = "Alexander Wilce", year = "2000", title = "Test spaces and orthoalgebras", editor = "Bob Coecke and David Moore and Alexander Wilce", booktitle = "Current research in operational quantum logic", publisher = "Springer", pages = "81--114", doi = "10.1007/978-94-017-1201-9\_4", ) @incollection(wilce2009test, author = "Alexander Wilce", year = "2009", title = "Test spaces", editor = "Kurt Engesser and Dov M. Gabbay and Daniel Lehmann", booktitle = "Handbook of quantum logic and quantum structures: quantum logic", publisher = "Elsevier", pages = "443--550", doi = "10.1016/B978-0-444-52869-8.50014\-1", )