Samson Abramsky & Bob Coecke (2004):
A categorical semantics of quantum protocols.
LiCS'04,
doi:10.1109/LICS.2004.1319636.
Samson Abramsky & Chris Heunen (2012):
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics.
Proceedings of Symposia in Applied Mathematics,
doi:10.1090/psapm/071/599.
Warren Ambrose (1945):
Structure theorems for a special class of Banach algebras.
Transactions of the American Mathematical Society,
doi:10.1090/S0002-9947-1945-0013235-8.
Bob Coecke & Ross Duncan (2011):
Interacting quantum observables: categorical algebra and diagrammatics.
New Journal of Physics,
doi:10.1088/1367-2630/13/4/043016.
Bob Coecke, Eric Oliver Paquette & Dusko Pavlovic (2008):
Classical and quantum structuralism.
Semantic techniques for quantum computation,
doi:10.1017/CBO9781139193313.003.
M. O. Farrukh (1975):
Application of nonstandard analysis to quantum mechanics.
Journal of Mathematical Physics,
doi:10.1063/1.522525.
Stefano Gogioso (2015):
Categorical semantics for Schrödinger's equation.
In QPL 2015, arXiv:1501.06489.
Aleks Kissinger (2012):
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing.
Izumi Ojima & Masanao Ozawa (1993):
Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics.
Open Systems and Information Dynamics,
doi:10.1007/BF02228975.
Abraham Robinson (1974):
Non-standard analysis.
Princeton University Press.