Samson Abramsky & Bob Coecke (2004):
A categorical semantics of quantum protocols.
In: Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on.
IEEE,
pp. 415–425,
doi:10.1109/LICS.2004.1319636.
Erik M Alfsen & Frederik W Shultz (2012):
State spaces of operator algebras: basic theory, orientations, and C*-products.
Springer Science & Business Media,
doi:10.1007/978-1-4612-0147-2.
John Baez & Mike Stay (2011):
Physics, Topology, Logic and Computation: A Rosetta Stone.
In: Bob Coecke: New Structures for Physics,
Lecture Notes in Physics 813.
Springer Berlin Heidelberg,
pp. 95–172,
doi:10.1007/978-3-642-12821-9_2.
Ola Bratteli (1972):
Inductive limits of finite dimensional C*-algebras.
Transactions of the American Mathematical Society 171,
pp. 195–234,
doi:10.2307/1996380.
Giulio Chiribella, Giacomo Mauro D'Ariano & Paolo Perinotti (2010):
Probabilistic theories with purification.
Physical Review A 81(6),
pp. 062348,
doi:10.1103/PhysRevA.81.062348.
Kenta Cho (2016):
Semantics for a Quantum Programming Language by Operator Algebras.
New Generation Computing 34(1),
pp. 25–68,
doi:10.1007/s00354-016-0204-3.
Man-Duen Choi (1975):
Completely positive linear maps on complex matrices.
Linear algebra and its applications 10(3),
pp. 285–290,
doi:10.1016/0024-3795(75)90075-0.
Bob Coecke (2008):
Axiomatic description of mixed states from Selinger's CPM-construction.
Electronic Notes in Theoretical Computer Science 210,
pp. 3–13,
doi:10.1016/j.entcs.2008.04.014.
Bob Coecke & Keye Martin (2011):
A partial order on classical and quantum states.
Springer,
doi:10.1007/978-3-642-12821-9_10.
Bob Coecke & Dusko Pavlovic (2006):
Quantum measurements without sums,
doi:10.1201/9781584889007.
Jacques Dixmier (1981):
Von Neumann Algebras.
North-Holland Mathematical Library 27.
North-Holland Publishing Company.
Richard P Feynman (1986):
Quantum mechanical computers.
Foundations of physics 16(6),
pp. 507–531,
doi:10.1007/BF01886518.
Cecilia Flori & Tobias Fritz (2016):
(Almost) C^*-algebras as sheaves with self-action.
arxiv:1512.01669v2.
Tobias Fritz (2013):
On infinite-dimensional state spaces.
Journal of Mathematical Physics 54(5),
pp. 052107,
doi:10.1063/1.4807079.
Robert Furber (2016):
Categorical Duality in Probability and Quantum Foundations.
Radboud University, Nijmegen.
Robert Furber & Bart Jacobs (2013):
From Kleisli categories to commutative C*-algebras: probabilistic Gelfand duality.
In: Algebra and Coalgebra in Computer Science.
Springer,
pp. 141–157,
doi:10.1007/978-3-642-40206-7_12.
Roman Gielerak & Marek Sawerwain (2010):
Generalised quantum weakest preconditions.
Quantum Information Processing 9(4),
pp. 441–449,
doi:10.1007/s11128-009-0151-8.
Alexander Grothendieck (1996):
Résumé de la théorie métrique des produits tensoriels topologiques.
Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo 2(4),
pp. 401–481.
Lucien Hardy (2001):
Quantum theory from five reasonable axioms.
arXiv:quant-ph/0101012.
Chris Heunen, Aleks Kissinger & Peter Selinger (2013):
Completely positive projections and biproducts.
arXiv:quant-ph/1308.4557.
Max Kelly (1982):
Basic concepts of enriched category theory 64.
CUP Archive.
Saunders Mac Lane (1971):
Categories for the Working Mathematician.
Graduate Texts in Mathematics.
Springer Verlag,
doi:10.1007/978-1-4612-9839-7.
Ciarán M Lee & Jonathan Barrett (2015):
Computation in generalised probabilisitic theories.
New Journal of Physics 17(8),
pp. 083001,
doi:10.1088/1367-2630/17/8/083001.
Octavio Malherbe, Philip Scott & Peter Selinger (2013):
Presheaf models of quantum computation: an outline.
In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky.
Springer,
pp. 178–194,
doi:10.1007/978-3-642-38164-5_13.
Paul-André Melliès (2010):
Segal Condition Meets Computational Effects.
In: Proc. LICS 2010,
pp. 150–159,
doi:10.1109/LICS.2010.46.
Isaac Namioka (1957):
Partially ordered linear topological spaces.
Memoirs of the American Mathematical Society 24.
American Mathematical Soc..
Michael A Nielsen & Isaac L Chuang (2010):
Quantum computation and quantum information.
Cambridge university press,
doi:10.1017/CBO9780511976667.
Michele Pagani, Peter Selinger & Benoît Valiron (2014):
Applying Quantitative Semantics to Higher-order Quantum Computing.
In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
POPL '14.
ACM,
pp. 647–658,
doi:10.1145/2535838.2535879.
Vern Paulsen (2002):
Completely bounded maps and operator algebras 78.
Cambridge University Press.
JW Pelletier & J Rosický (1993):
On the equational theory of C*-algebras.
Algebra Universalis 30,
pp. 275–284,
doi:10.1007/BF01196099.
Gilles Pisier (2003):
Introduction to Operator Space Theory.
London Mathematical Society Lecture Note Series.
Cambridge University Press,
doi:10.1017/CBO9781107360235.
TC Ralph, Alexei Gilchrist, Gerard J Milburn, William J Munro & Scott Glancy (2003):
Quantum computation with optical coherent states.
Physical Review A 68(4),
pp. 042319,
doi:10.1103/PhysRevA.68.042319.
Mathys Rennela (2014):
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras.
In: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX) 308.
Electronic Notes in Theoretical Computer Science,
pp. 289 – 307,
doi:10.1016/j.entcs.2014.10.016.
Mathys Rennela & Sam Staton (2015):
Complete positivity and natural representation of quantum computations.
In: Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI) 319.
Electronic Notes in Theoretical Computer Science,
pp. 369–385,
doi:10.1016/j.entcs.2015.12.022.
Shôichirô Sakai (2012):
C*-algebras and W*-algebras.
Springer Science & Business Media,
doi:10.1007/978-3-642-61993-9.
Helmut H. Schaefer (1966):
Topological Vector Spaces.
Graduate Texts in Mathematics 3.
Springer Verlag,
doi:10.1007/978-1-4612-1468-7.
Peter Selinger (2008):
Idempotents in dagger categories.
Electronic Notes in Theoretical Computer Science 210,
pp. 107–122,
doi:10.1016/j.entcs.2008.04.021.
Sam Staton & Sander Uijlen (2015):
Effect algebras, presheaves, non-locality and contextuality.
In: Proc. ICALP 2015,
doi:10.1007/978-3-662-47666-6_32.
Erling Størmer (2012):
Positive Linear Maps of Operator Algebras.
Springer Monographs in Mathematics.
Springer Berlin Heidelberg,
doi:10.1007/978-3-642-34369-8.
Masamichi Takesaki (2002):
Theory of operator algebras. I.
Springer-Verlag, Berlin.
Sean Tull (2016):
Operational Theories of Physics as Categories.
arXiv:quant-ph/1602.06284.
Jamie Vicary (2011):
Categorical formulation of finite-dimensional quantum algebras.
Communications in Mathematical Physics 304(3),
pp. 765–796,
doi:10.1007/s00220-010-1138-0.
Eberhard Zeidler (2008):
Quantum Field Theory II: Quantum Electrodynamics: A Bridge between Mathematicians and Physicists.
Quantum Field Theory.
Springer Berlin Heidelberg,
doi:10.1007/978-3-540-85377-0.