@inproceedings(CQM,
 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},
)
@book(alfsen-shultz,
 author       = {Erik M Alfsen and Frederik W Shultz},
 year         = {2012},
 title        = {{State spaces of operator algebras: basic theory, orientations, and C*-products}},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-1-4612-0147-2},
)
@incollection(baez-rosetta-stone,
 author       = {John Baez and Mike Stay},
 year         = {2011},
 title        = {{Physics, Topology, Logic and Computation: A Rosetta Stone}},
 editor       = {Bob Coecke},
 booktitle    = {New Structures for Physics},
 series       = {Lecture Notes in Physics},
 volume       = {813},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {95--172},
 doi          = {10.1007/978-3-642-12821-9\_2},
)
@article(bratteli-AF-C*,
 author       = {Ola Bratteli},
 year         = {1972},
 title        = {{Inductive limits of finite dimensional C*-algebras}},
 journal      = {Transactions of the American Mathematical Society},
 volume       = {171},
 pages        = {195--234},
 doi          = {10.2307/1996380},
)
@article(chiribella-OTP,
 author       = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti},
 year         = {2010},
 title        = {{Probabilistic theories with purification}},
 journal      = {Physical Review A},
 volume       = {81},
 number       = {6},
 pages        = {062348},
 doi          = {10.1103/PhysRevA.81.062348},
)
@article(cho-qpl14-extended,
 author       = {Kenta Cho},
 year         = {2016},
 title        = {{Semantics for a Quantum Programming Language by Operator Algebras}},
 journal      = {New Generation Computing},
 volume       = {34},
 number       = {1},
 pages        = {25--68},
 doi          = {10.1007/s00354-016-0204-3},
)
@article(choi,
 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},
)
@article(coecke-axiomatic,
 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},
)
@book(coecke-martin-domains,
 author       = {Bob Coecke and Keye Martin},
 year         = {2011},
 title        = {{A partial order on classical and quantum states}},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-12821-9\_10},
)
@article(coecke-meas-sums,
 author       = {Bob Coecke and Dusko Pavlovic},
 year         = {2006},
 title        = {{Quantum measurements without sums}},
 doi          = {10.1201/9781584889007},
)
@book(connes,
 author       = {Alain Connes},
 year         = {1992},
 title        = {{Noncommutative geometry}},
 publisher    = {Springer},
 doi          = {10.1007/BFb0089204},
)
@inproceedings(day-convolution,
 author       = {Brian Day},
 year         = {1970},
 title        = {{On closed categories of functors}},
 booktitle    = {Reports of the Midwest Category Seminar IV},
 organization = {Springer},
 pages        = {1--38},
 doi          = {10.1007/BFb0060438},
)
@article(quantum-weakest-preconditions,
 author       = {Ellie D'Hondt and Prakash Panangaden},
 year         = {2006},
 title        = {{Quantum weakest preconditions}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {16},
 number       = {03},
 pages        = {429--451},
 doi          = {10.1017/S0960129506005251},
)
@book(dixmier,
 author       = {Jacques Dixmier},
 year         = {1977},
 title        = {{C*-Algebras}},
 series       = {North-Holland Mathematical Library},
 volume       = {15},
 publisher    = {North-Holland Publishing Company},
)
@book(dixmiervna,
 author       = {Jacques Dixmier},
 year         = {1981},
 title        = {{Von Neumann Algebras}},
 series       = {North-Holland Mathematical Library},
 volume       = {27},
 publisher    = {North-Holland Publishing Company},
)
@article(feynman,
 author       = {Richard P Feynman},
 year         = {1986},
 title        = {{Quantum mechanical computers}},
 journal      = {Foundations of physics},
 volume       = {16},
 number       = {6},
 pages        = {507--531},
 doi          = {10.1007/BF01886518},
)
@article(flori-fritz,
 author       = {Cecilia Flori and Tobias Fritz},
 year         = {2016},
 title        = {{(Almost) C$^*$-algebras as sheaves with self-action}},
 journal      = {\tt \href {https://arxiv.org/abs/1512.01669}{arxiv:1512.01669v2}},
)
@article(fritz-infinite,
 author       = {Tobias Fritz},
 year         = {2013},
 title        = {On infinite-dimensional state spaces},
 journal      = {Journal of Mathematical Physics},
 volume       = {54},
 number       = {5},
 pages        = {052107},
 doi          = {10.1063/1.4807079},
)
@phdthesis(furber-thesis,
 author       = {Robert Furber},
 year         = {2016},
 title        = {{Categorical Duality in Probability and Quantum Foundations}},
 school       = {Radboud University, Nijmegen},
)
@incollection(furber-jacobs,
 author       = {Robert Furber and Bart Jacobs},
 year         = {2013},
 title        = {{From Kleisli categories to commutative C*-algebras: probabilistic Gelfand duality}},
 booktitle    = {Algebra and Coalgebra in Computer Science},
 publisher    = {Springer},
 pages        = {141--157},
 doi          = {10.1007/978-3-642-40206-7\_12},
)
@article(gielerak-sawerwain-generalised,
 author       = {Roman Gielerak and Marek Sawerwain},
 year         = {2010},
 title        = {{Generalised quantum weakest preconditions}},
 journal      = {Quantum Information Processing},
 volume       = {9},
 number       = {4},
 pages        = {441--449},
 doi          = {10.1007/s11128-009-0151-8},
)
@article(grothendieck-tensors,
 author       = {Alexander Grothendieck},
 year         = {1996},
 title        = {{R{\'e}sum{\'e} de la th{\'e}orie m{\'e}trique des produits tensoriels topologiques}},
 journal      = {Resenhas do Instituto de Matem{\'a}tica e Estat{\'\i}stica da Universidade de S{\~a}o Paulo},
 volume       = {2},
 number       = {4},
 pages        = {401--481},
)
@article(hardy5,
 author       = {Lucien Hardy},
 year         = {2001},
 title        = {{Quantum theory from five reasonable axioms}},
 journal      = {\tt \href {http://arxiv.org/abs/quant-ph/0101012}{arXiv:quant-ph/0101012}},
)
@article(heunen-kissinger-selinger,
 author       = {Chris Heunen and Aleks Kissinger and Peter Selinger},
 year         = {2013},
 title        = {{Completely positive projections and biproducts}},
 journal      = {\tt \href {http://arxiv.org/abs/1308.4557}{arXiv:quant-ph/1308.4557}},
)
@book(kelly,
 author       = {Max Kelly},
 year         = {1982},
 title        = {Basic concepts of enriched category theory},
 volume       = {64},
 publisher    = {CUP Archive},
)
@book(maclane,
 author       = {Saunders Mac Lane},
 year         = {1971},
 title        = {{Categories for the Working Mathematician}},
 series       = {Graduate Texts in Mathematics},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-9839-7},
)
@article(lee-barrett-GPT,
 author       = {Ciar{\'a}n M Lee and Jonathan Barrett},
 year         = {2015},
 title        = {{Computation in generalised probabilisitic theories}},
 journal      = {New Journal of Physics},
 volume       = {17},
 number       = {8},
 pages        = {083001},
 doi          = {10.1088/1367-2630/17/8/083001},
)
@incollection(malherbe-scott-selinger,
 author       = {Octavio Malherbe and Philip Scott and Peter Selinger},
 year         = {2013},
 title        = {{Presheaf models of quantum computation: an outline}},
 booktitle    = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky},
 publisher    = {Springer},
 pages        = {178--194},
 doi          = {10.1007/978-3-642-38164-5\_13},
)
@inproceedings(mellies-segal,
 author       = {Paul-Andr\'e Melli\`es},
 year         = {2010},
 title        = {{Segal Condition Meets Computational Effects}},
 booktitle    = {Proc.~LICS 2010},
 pages        = {150--159},
 doi          = {10.1109/LICS.2010.46},
)
@book(namioka,
 author       = {Isaac Namioka},
 year         = {1957},
 title        = {Partially ordered linear topological spaces},
 series       = {Memoirs of the American Mathematical Society},
 volume       = {24},
 publisher    = {American Mathematical Soc.},
)
@book(nielsen-chuang,
 author       = {Michael A Nielsen and Isaac L Chuang},
 year         = {2010},
 title        = {{Quantum computation and quantum information}},
 publisher    = {Cambridge university press},
 doi          = {10.1017/CBO9780511976667},
)
@inproceedings(pagani-selinger-valiron-popl14,
 author       = {Michele Pagani and Peter Selinger and Beno\^{\i}t Valiron},
 year         = {2014},
 title        = {{Applying Quantitative Semantics to Higher-order Quantum Computing}},
 booktitle    = {{Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}},
 series       = {POPL '14},
 publisher    = {ACM},
 pages        = {647--658},
 doi          = {10.1145/2535838.2535879},
)
@book(paulsen-CP-book,
 author       = {Vern Paulsen},
 year         = {2002},
 title        = {{Completely bounded maps and operator algebras}},
 volume       = {78},
 publisher    = {Cambridge University Press},
)
@article(pelletier-rosicky,
 author       = {JW Pelletier and J Rosick\'y},
 year         = {1993},
 title        = {{On the equational theory of {C}*-algebras}},
 journal      = {Algebra Universalis},
 volume       = {30},
 pages        = {275--284},
 doi          = {10.1007/BF01196099},
)
@book(pisier-intro-opsp,
 author       = {Gilles Pisier},
 year         = {2003},
 title        = {{Introduction to Operator Space Theory}},
 series       = {London Mathematical Society Lecture Note Series},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107360235},
)
@article(QC-w-qu-phot,
 author       = {TC Ralph and Alexei Gilchrist and Gerard J Milburn and William J Munro and Scott Glancy},
 year         = {2003},
 title        = {{Quantum computation with optical coherent states}},
 journal      = {Physical Review A},
 volume       = {68},
 number       = {4},
 pages        = {042319},
 doi          = {10.1103/PhysRevA.68.042319},
)
@inproceedings(rennela-mfps30,
 author       = {Mathys Rennela},
 year         = {2014},
 title        = {{Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras}},
 booktitle    = {Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX)},
 volume       = {308},
 publisher    = {Electronic Notes in Theoretical Computer Science},
 pages        = {289 -- 307},
 doi          = {10.1016/j.entcs.2014.10.016},
)
@inproceedings(rennela-staton-mfps31,
 author       = {Mathys Rennela and Sam Staton},
 year         = {2015},
 title        = {{Complete positivity and natural representation of quantum computations}},
 booktitle    = {Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)},
 volume       = {319},
 publisher    = {Electronic Notes in Theoretical Computer Science},
 pages        = {369--385},
 doi          = {10.1016/j.entcs.2015.12.022},
)
@book(sakai,
 author       = {Sh{\^o}ichir{\^o} Sakai},
 year         = {2012},
 title        = {{C*-algebras and W*-algebras}},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-3-642-61993-9},
)
@book(schaefer-top-vect,
 author       = {Helmut H. Schaefer},
 year         = {1966},
 title        = {{Topological Vector Spaces}},
 series       = {Graduate Texts in Mathematics},
 volume       = {3},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-1468-7},
)
@article(selinger-karoubi,
 author       = {Peter Selinger},
 year         = {2008},
 title        = {{Idempotents in dagger categories}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {210},
 pages        = {107--122},
 doi          = {10.1016/j.entcs.2008.04.021},
)
@inproceedings(staton-uijlen,
 author       = {Sam Staton and Sander Uijlen},
 year         = {2015},
 title        = {Effect algebras, presheaves, non-locality and contextuality},
 booktitle    = {Proc.~ICALP 2015},
 doi          = {10.1007/978-3-662-47666-6\_32},
)
@book(stormer,
 author       = {St{\o}rmer, Erling},
 year         = {2012},
 title        = {{Positive Linear Maps of Operator Algebras}},
 series       = {Springer Monographs in Mathematics},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/978-3-642-34369-8},
)
@book(takesaki1,
 author       = {Masamichi Takesaki},
 year         = {2002},
 title        = {{Theory of operator algebras. I}},
 publisher    = {Springer-Verlag, Berlin},
)
@article(tull-OTP,
 author       = {Sean Tull},
 year         = {2016},
 title        = {{Operational Theories of Physics as Categories}},
 journal      = {\tt \href {http://arxiv.org/abs/1602.06284}{arXiv:quant-ph/1602.06284}},
)
@article(vicary-cat-fd-C*,
 author       = {Jamie Vicary},
 year         = {2011},
 title        = {{Categorical formulation of finite-dimensional quantum algebras}},
 journal      = {Communications in Mathematical Physics},
 volume       = {304},
 number       = {3},
 pages        = {765--796},
 doi          = {10.1007/s00220-010-1138-0},
)
@book(zeidler-QFT-QED,
 author       = {Eberhard Zeidler},
 year         = {2008},
 title        = {{Quantum Field Theory II: Quantum Electrodynamics: A Bridge between Mathematicians and Physicists}},
 series       = {Quantum Field Theory},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/978-3-540-85377-0},
)