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