1. Kenta Cho & Abraham Westerbaan (2016): Von Neumann Algebras form a Model for the Quantum Lambda Calculus. arXiv:1603.02133v1 [cs.LO].
  2. Keith Devlin (1993): The joy of sets: fundamentals of contemporary set theory. Springer, doi:10.1007/978-1-4612-0903-4.
  3. Robert Furber & Bart Jacobs (2013): From Kleisli categories to commutative C^*-algebras: Probabilistic Gelfand duality. In: Algebra and Coalgebra in Computer Science. Springer, pp. 141–157, doi:10.1007/978-3-642-40206-7_12.
  4. Richard V. Kadison (1951): A representation theory for commutative topological algebra 7. American Mathematical Society, doi:10.1090/memo/0007.
  5. Stephen Lack (2010): A 2-categories companion. In: Towards higher categories. Springer, pp. 105–191, doi:10.1007/978-1-4419-1524-5_4.
  6. Saunders Mac Lane (1998): Categories for the working mathematician 5. springer, doi:10.1007/978-1-4612-9839-7.
  7. B. Russo & H. A. Dye (1966): A note on unitary operators in C^*-algebras. Duke Mathematical Journal 33(2), pp. 413–416, doi:10.1215/S0012-7094-66-03346-1.
  8. W. Forrest Stinespring (1955): Positive functions on C^*-algebras. Proceedings of the American Mathematical Society 6(2), pp. 211–216, doi:10.2307/2032342.
  9. Stephen Willard (2004): General topology. Courier Dover Publications.

Comments and questions to:
For website issues: