S. Abramsky
B. Coecke
2004
A categorical semantics of quantum protocols
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004
IEEE
415–425
10.1109/LICS.2004.1319636
Samson Abramsky
Chris Heunen
2012
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
Mathematical Foundations of Information Flow
71
1–24
10.1090/psapm/071/599
Miriam Backens
2014
The ZX-calculus is complete for stabilizer quantum mechanics
New Journal of Physics
16
9
10.1088/1367-2630/16/9/093021
Bob Coecke
2009
Quantum Picturalism
Contemporary Physics
10.1080/00107510903257624
Bob Coecke
Ross Duncan
2011
Interacting quantum observables: Categorical algebra and diagrammatics
New Journal of Physics
13
10.1088/1367-2630/13/4/043016
Bob Coecke
Chris Heunen
Aleks Kissinger
2014
Categories of quantum and classical channels
Quantum Information Processing
1–31
10.1007/s11128-014-0837-4
Bob Coecke
Aleks Kissinger
2017
Picturing Quantum Processes
Cambridge University Press
10.1017/9781316219317
Bob Coecke
Dusko Pavlovic
2007
Quantum measurements without sums
Mathematics of Quantum Computation and Quantum Technology
559–596
10.1201/9781584889007.ch16
Bob Coecke
Dusko Pavlovic
Jamie Vicary
2013
A new description of orthogonal bases
Mathematical Structures in Computer Science
23
03
10.1017/S0960129512000047
M. O. Farrukh
1975
Application of nonstandard analysis to quantum mechanics
Journal of Mathematical Physics
16
2
10.1063/1.522525
Stefano Gogioso
Fabrizio Genovese
2016
Infinite-dimensional Categorical Quantum Mechanics
10.4204/EPTCS.236.4
Stefano Gogioso
Aleks Kissinger
2017
Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem
Stefano Gogioso
William Zeng
2017
Generalised Mermin-type non-locality arguments
André Joyal
Ross Street
1991
The Geometry of Tensor Calculus I
Advances in Mathematics
88
55–112
10.1016/0001-8708(91)90003-P
André Joyal
Ross Street
Dominic Verity
1996
Traced Monoidal Categories
Mathematical Proceedings of the Cambridge Philosophical Society
119
03
447–468
10.1017/S0305004100074338
Gottfried Wilhelm Leibniz
1684
Nova methodus pro maximis et minimis itemque tangentibus, quae nec fractas nec irrationales quantitates moratur, et singulare pro illis calculi genus
Acta Eruditorum
John von Neumann
1939
On infinite direct products
Compositio Mathematica
6
John von Neumann
1949
On Rings of Operators. Reduction Theory
The Annals of Mathematics
50
2
401–486
10.2307/1969463
Izumi Ojima
Masanao Ozawa
1993
Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics
Open Systems & Information Dynamics
2
1
107–128
10.1007/BF02228975
Masanao Ozawa
1989
Realization of Measurement and the Standard Quantum Limit
P. Tombesi
R. Pike
Squeezed and Nonclassical Light
263–286
10.1007/978-1-4757-6574-8_20
Masanao Ozawa
1997
Phase Operator Problem and Macroscopic Extension of Quantum Mechanics
Annals of Physics
257
1
65–83
10.1006/aphy.1997.5685
Andreas Raab
2006
An approach to nonstandard quantum mechanics
10.1063/1.1812358
Abraham Robinson
1974
Non-standard analysis
Princeton University Press
10.1515/9781400884223
Peter Selinger
2009
A survey of graphical languages for monoidal categories
Lecture Notes in Physics
813
289–355
10.1007/978-3-642-12821-9_4
Dominic Verdon
Jamie Vicary
2017
Tight Reference Frame–Independent Quantum Teleportation
Electronic Proceedings in Theoretical Computer Science
236
202–214
10.4204/EPTCS.236.13
Hideyasu Yamashita
Masanao Ozawa
2000
Nonstandard representations of the canonical commutation relations
Reviews in Mathematical Physics
12
11
1407–1427
10.1142/S0129055X00000617