@incollection(AbramskyJ1994,
 author       = "Samson Abramsky and Achim Jung",
 year         = "1994",
 title        = "Domain Theory",
 booktitle    = "Handbook of Logic in Computer Science",
 volume       = "III",
 publisher    = "Clarendon Press",
 pages        = "1--168",
 note         = "Corrected and expanded version available online",
)
@book(Araki1999,
 author       = "Huzihiro Araki",
 year         = "1999",
 title        = "Mathematical Theory of Quantum Fields",
 series       = "International Series of Monographs on Physics",
 volume       = "101",
 publisher    = "Oxford University Press",
 note         = "Originally published in Japanese as {\itshape Ryoshiba no Suri} (Iwanami Shoten, 1993)",
)
@book(BratteliR1987all2dois,
 author       = "Ola Bratteli and Derek W. Robinson",
 year         = "1987/1997",
 title        = "Operator Algebras and Quantum Statistical Mechanics (2 volumes)",
 edition      = "second",
 series       = "Texts and Monographs in Physics",
 publisher    = "Springer",
 doi          = "10.1007/978-3-662-02520-8",
)
@book(BrownO2008,
 author       = "Nathanial P. Brown and Narutaka Ozawa",
 year         = "2008",
 title        = "$C^*$-Algebras and Finite-Dimensional Approximations",
 series       = "Graduate Studies in Mathematics",
 volume       = "88",
 publisher    = "American Mathematical Society",
)
@article(ChiribellaTU2013,
 author       = "Giulio Chiribella and Alessandro Toigo and Veronica Umanit{\`a}",
 year         = "2013",
 title        = "Normal Completely Positive Maps on the Space of Quantum Operations",
 journal      = "Open Systems \& Information Dynamics",
 volume       = "20",
 number       = "1",
 doi          = "10.1142/S1230161213500030",
)
@mastersthesis(Cho2014Master,
 author       = "Kenta Cho",
 year         = "2014",
 title        = "Semantics for a Quantum Programming Language by Operator Algebras",
 school       = "The University of Tokyo",
 note         = "Available at \url {http://www-mmm.is.s.u-tokyo.ac.jp/~ckn/papers/master-thesis.pdf}",
)
@book(Conway2000,
 author       = "John B. Conway",
 year         = "2000",
 title        = "A Course in Operator Theory",
 series       = "Graduate Studies in Mathematics",
 volume       = "21",
 publisher    = "American Mathematical Society",
)
@article(DArianoKSW2007,
 author       = "Giacomo Mauro D'Ariano and Dennis Kretschmann and Dirk Schlingemann and Reinhard F. Werner",
 year         = "2007",
 title        = "Reexamination of quantum bit commitment: The possible and the impossible",
 journal      = "Phys. Rev. A",
 volume       = "76",
 number       = "032328",
 doi          = "10.1103/PhysRevA.76.032328",
)
@article(DHondtP2006,
 author       = "Ellie D'Hondt and Prakash Panangaden",
 year         = "2006",
 title        = "Quantum weakest preconditions",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 pages        = "429--451",
 doi          = "10.1017/S0960129506005251",
)
@book(Fremlin2010vol2,
 author       = "D. H. Fremlin",
 year         = "2010",
 title        = "Measure Theory, Volume 2",
 edition      = "second",
 publisher    = "Torres Fremlin",
)
@inproceedings(FurberJ2013,
 author       = "Robert Furber and Bart Jacobs",
 year         = "2013",
 title        = "From {K}leisli Categories to Commutative {$C^*$}-Algebras: Probabilistic {G}elfand Duality",
 booktitle    = "Algebra and Coalgebra in Computer Science ({CALCO}) 2013",
 series       = "Lecture Notes in Computer Science",
 volume       = "8089",
 publisher    = "Springer",
 pages        = "141--157",
 doi          = "10.1007/978-3-642-40206-7_12",
)
@article(Gay2006,
 author       = "Simon J. Gay",
 year         = "2006",
 title        = "Quantum programming languages: survey and bibliography",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 pages        = "581--600",
 doi          = "10.1017/S0960129506005378",
)
@book(Haag1996,
 author       = "Rudolf Haag",
 year         = "1996",
 title        = "Local Quantum Physics: Fields, Particles, Algebras",
 edition      = "second",
 series       = "Theoretical and Mathematical Physics",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-61458-3",
)
@article(HaagK1964,
 author       = "Rudolf Haag and Daniel Kastler",
 year         = "1964",
 title        = "An Algebraic Approach to Quantum Field Theory",
 journal      = "Journal of Mathematical Physics",
 volume       = "5",
 number       = "7",
 pages        = "848--861",
 doi          = "10.1063/1.1704187",
)
@book(Hasegawa1999,
 author       = "Masahito Hasegawa",
 year         = "1999",
 title        = "Models of Sharing Graphs: A Categorical Semantics of let and letrec",
 series       = "Distinguished Dissertations",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4471-0865-8",
)
@inproceedings(HasuoH2011,
 author       = "Ichiro Hasuo and Naohiko Hoshino",
 year         = "2011",
 title        = "Semantics of Higher-Order Quantum Computation via Geometry of Interaction",
 booktitle    = "The 26th Annual {IEEE} Symposium on Logic in Computer Science (LICS 2011)",
 doi          = "10.1109/LICS.2011.26",
)
@book(HeinosaariZ2012,
 author       = "Teiko Heinosaari and M{\'a}rio Ziman",
 year         = "2012",
 title        = "The Mathematical Language of Quantum Theory: From Uncertainty to Entanglement",
 publisher    = "Cambridge University Press",
)
@inproceedings(HoshinoMH2014LICS,
 author       = "Naohiko Hoshino and Koko Muroya and Ichiro Hasuo",
 year         = "2014",
 title        = "Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects",
 booktitle    = "Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science ({CSL-LICS} 2014)",
 doi          = "10.1145/2603088.2603124",
 note         = "Extended version with appendix is available at the first author's website",
)
@article(Jacobs2013,
 author       = "Bart Jacobs",
 year         = "2013",
 title        = "On Block Structures in Quantum Computation",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "298",
 pages        = "233--255",
 doi          = "10.1016/j.entcs.2013.09.016",
)
@article(Keyl2002,
 author       = "Michael Keyl",
 year         = "2002",
 title        = "Fundamentals of quantum information theory",
 journal      = "Physics Reports",
 volume       = "369",
 number       = "5",
 pages        = "431--548",
 doi          = "10.1016/S0370-1573(02)00266-1",
)
@unpublished(Kornell2012,
 author       = "Andre Kornell",
 year         = "2012",
 title        = "Quantum Collections",
 note         = "ArXiv:1202.2994v1 [math.OA]",
)
@incollection(Landsman2009,
 author       = "Nicolaas P. Landsman",
 year         = "2009",
 title        = "Algebraic Quantum Mechanics",
 booktitle    = "Compendium of Quantum Physics",
 publisher    = "Springer",
 pages        = "6--10",
 doi          = "10.1007/978-3-540-70626-7_3",
)
@book(MacLane1998,
 author       = "Saunders {Mac Lane}",
 year         = "1998",
 title        = "Categories for the Working Mathematician",
 edition      = "second",
 series       = "Graduate Texts in Mathematics",
 volume       = "5",
 publisher    = "Springer",
)
@inproceedings(MalherbeSS2013,
 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",
 series       = "Lecture Notes in Computer Science",
 volume       = "7860",
 publisher    = "Springer",
 pages        = "178--194",
 doi          = "10.1007/978-3-642-38164-5_13",
)
@incollection(Meyer2008,
 author       = "Ralf Meyer",
 year         = "2008",
 title        = "Categorical aspects of bivariant K-theory",
 booktitle    = "K-Theory and Noncommutative Geometry",
 series       = "EMS Series of Congress Reports",
 publisher    = "European Mathematical Society",
 pages        = "1--39",
 doi          = "10.4171/060-1/1",
 note         = "ArXiv:math/0702145 [math.KT]",
)
@article(MurrayN1936,
 author       = "Francis J. Murray and John von Neumann",
 year         = "1936",
 title        = "On Rings of Operators",
 journal      = "Annals of Mathematics",
 volume       = "37",
 number       = "1",
 pages        = "116--229",
 doi          = "10.2307/1968693",
)
@article(MurrayN1937,
 author       = "Francis J. Murray and John von Neumann",
 year         = "1937",
 title        = "On Rings of Operators. {II}",
 journal      = "Transactions of the American Mathematical Society",
 volume       = "41",
 number       = "2",
 pages        = "208--248",
 doi          = "10.1090/S0002-9947-1937-1501899-4",
)
@article(MurrayN1943,
 author       = "Francis J. Murray and John von Neumann",
 year         = "1943",
 title        = "On Rings of Operators. {IV}",
 journal      = "Annals of Mathematics",
 volume       = "44",
 number       = "4",
 pages        = "716--808",
 doi          = "10.2307/1969107",
)
@article(Neumann1940,
 author       = "John von Neumann",
 year         = "1940",
 title        = "On Rings of Operators. {III}",
 journal      = "Annals of Mathematics",
 volume       = "41",
 number       = "1",
 pages        = "94--161",
 doi          = "10.2307/1968823",
)
@article(Neumann1949,
 author       = "John von Neumann",
 year         = "1949",
 title        = "On Rings of Operators. {R}eduction Theory",
 journal      = "Annals of Mathematics",
 volume       = "50",
 number       = "2",
 pages        = "401--485",
 doi          = "10.2307/1969463",
)
@book(Neumann1955,
 author       = "John von Neumann",
 year         = "1955",
 title        = "Mathematical Foundations of Quantum Mechanics",
 publisher    = "Princeton University Press",
 note         = "Originally published in German as {\itshape Mathematische Grundlagen der Quantenmechanik} (Springer, 1932)",
)
@book(NielsenC2000,
 author       = "Michael A. Nielsen and Isaac L. Chuang",
 year         = "2000",
 title        = "Quantum Computation and Quantum Information",
 publisher    = "Cambridge University Press",
)
@inproceedings(PaganiSV2014,
 author       = "Michele Pagani and Peter Selinger and Beno{\^\i }t Valiron",
 year         = "2014",
 title        = "Applying Quantitative Semantics to Higher-order Quantum Computing",
 booktitle    = "The 41st {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages (POPL 2014)",
 doi          = "10.1145/2535838.2535879",
)
@article(Redei1996,
 author       = "Mikl{\'o}s R{\'e}dei",
 year         = "1996",
 title        = "Why {J}ohn von {N}eumann did not Like the {H}ilbert Space formalism of quantum mechanics (and what he liked instead)",
 journal      = "Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics",
 volume       = "27",
 number       = "4",
 pages        = "493--510",
 doi          = "10.1016/S1355-2198(96)00017-2",
)
@mastersthesis(Rennela2013Master,
 author       = "Mathys Rennela",
 year         = "2013",
 title        = "On operator algebras in quantum computation",
 school       = "Universit{\'e} Paris 7 Denis Diderot",
 note         = "Available at \url {http://www.cs.ru.nl/~mathysr/papers/masterthesis.pdf}",
)
@inproceedings(Rennela2014,
 author       = "Mathys Rennela",
 year         = "2014",
 title        = "Towards a Quantum Domain Theory: Order-Enrichment and Fixpoints in {W*}-Algebras",
 booktitle    = "The Thirtieth Conference on the Mathematical Foundations of Programming Semantics ({MFPS} {XXX})",
 note         = "To appear",
)
@book(Ryan2002,
 author       = "Raymond A. Ryan",
 year         = "2002",
 title        = "Introduction to Tensor Products of Banach Spaces",
 series       = "Springer Monographs in Mathematics",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4471-3903-4",
)
@book(Sakai1998,
 author       = "Sh{\^o}ichir{\^o} Sakai",
 year         = "1998",
 title        = "{$C^*$}-Algebras and {$W^*$}-Algebras",
 series       = "Classics in Mathematics",
 publisher    = "Springer",
 note         = "Reprint of the 1971 Edition",
)
@article(Selinger2004,
 author       = "Peter Selinger",
 year         = "2004",
 title        = "Towards a quantum programming language",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "14",
 pages        = "527--586",
 doi          = "10.1017/S0960129504004256",
)
@article(SelingerV2006,
 author       = "Peter Selinger and Beno{\^\i }t Valiron",
 year         = "2006",
 title        = "A lambda calculus for quantum computation with classical control",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 pages        = "527--552",
 doi          = "10.1017/S0960129506005238",
)
@article(SelingerV2008,
 author       = "Peter Selinger and Beno{\^\i }t Valiron",
 year         = "2008",
 title        = "On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "210",
 number       = "0",
 pages        = "123--137",
 doi          = "10.1016/j.entcs.2008.04.022",
)
@incollection(SelingerV2009,
 author       = "Peter Selinger and Beno{\^\i }t Valiron",
 year         = "2009",
 title        = "Quantum lambda calculus",
 editor       = "Simon Gay and Ian Mackie",
 booktitle    = "Semantic Techniques in Quantum Computation",
 publisher    = "Cambridge University Press",
 pages        = "135--172",
 doi          = "10.1017/CBO9781139193313.005",
)
@book(Takesaki2002,
 author       = "Masamichi Takesaki",
 year         = "2001/2003",
 title        = "Theory of Operator Algebras (3 volumes)",
 series       = "Encyclopaedia of Mathematical Sciences",
 volume       = "124--125, 127",
 publisher    = "Springer",
)
@article(Valiron2013,
 author       = "Beno{\^\i }t Valiron",
 year         = "2013",
 title        = "Quantum Computation: From a Programmer's Perspective",
 journal      = "New Generation Computing",
 volume       = "31",
 number       = "1",
 pages        = "1--26",
 doi          = "10.1007/s00354-012-0120-0",
)