1. Samson Abramsky & Bob Coecke (2004): A categorical semantics of quantum protocols. LiCS'04, doi:10.1109/LICS.2004.1319636.
  2. 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.
  3. 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.
  4. Bob Coecke & Ross Duncan (2011): Interacting quantum observables: categorical algebra and diagrammatics. New Journal of Physics, doi:10.1088/1367-2630/13/4/043016.
  5. Bob Coecke, Eric Oliver Paquette & Dusko Pavlovic (2008): Classical and quantum structuralism. Semantic techniques for quantum computation, doi:10.1017/CBO9781139193313.003.
  6. M. O. Farrukh (1975): Application of nonstandard analysis to quantum mechanics. Journal of Mathematical Physics, doi:10.1063/1.522525.
  7. Stefano Gogioso (2015): Categorical semantics for Schrödinger's equation. In QPL 2015, arXiv:1501.06489.
  8. Aleks Kissinger (2012): Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing.
  9. 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.
  10. Abraham Robinson (1974): Non-standard analysis. Princeton University Press.

Comments and questions to:
For website issues: