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