Kenta Cho & Abraham Westerbaan (2016):
Von Neumann Algebras form a Model for the Quantum Lambda Calculus.
arXiv:1603.02133v1 [cs.LO].
Keith Devlin (1993):
The joy of sets: fundamentals of contemporary set theory.
Springer,
doi:10.1007/978-1-4612-0903-4.
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.
Richard V. Kadison (1951):
A representation theory for commutative topological algebra 7.
American Mathematical Society,
doi:10.1090/memo/0007.
Stephen Lack (2010):
A 2-categories companion.
In: Towards higher categories.
Springer,
pp. 105–191,
doi:10.1007/978-1-4419-1524-5_4.
Saunders Mac Lane (1998):
Categories for the working mathematician 5.
springer,
doi:10.1007/978-1-4612-9839-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.
W. Forrest Stinespring (1955):
Positive functions on C^*-algebras.
Proceedings of the American Mathematical Society 6(2),
pp. 211–216,
doi:10.2307/2032342.
Stephen Willard (2004):
General topology.
Courier Dover Publications.
eptcs@eptcs.org