@article(CW2016,
 author       = {Kenta Cho and Abraham Westerbaan},
 year         = {2016},
 title        = {Von Neumann Algebras form a Model for the Quantum Lambda Calculus},
 journal      = {\href{https://arxiv.org/abs/1603.02133}{arXiv:1603.02133v1 [cs.LO]}},
)
@book(devlin1993,
 author       = {Keith Devlin},
 year         = {1993},
 title        = {The joy of sets: fundamentals of contemporary set theory},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-0903-4},
)
@incollection(furber2013,
 author       = {Robert Furber and Bart Jacobs},
 year         = {2013},
 title        = {From {{K}}leisli categories to commutative {{$C^*$}}-algebras: Probabilistic {{G}}elfand duality},
 booktitle    = {Algebra and Coalgebra in Computer Science},
 publisher    = {Springer},
 pages        = {141--157},
 doi          = {10.1007/978-3-642-40206-7\_12},
)
@book(kadison1951,
 author       = {Richard~V. Kadison},
 year         = {1951},
 title        = {A representation theory for commutative topological algebra},
 volume       = {7},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/memo/0007},
)
@incollection(lack2010,
 author       = {Stephen Lack},
 year         = {2010},
 title        = {A 2-categories companion},
 booktitle    = {Towards higher categories},
 publisher    = {Springer},
 pages        = {105--191},
 doi          = {{10.1007/978-1-4419-1524-5\_4}},
)
@book(maclane1998,
 author       = {Mac~Lane, Saunders},
 year         = {1998},
 title        = {Categories for the working mathematician},
 volume       = {5},
 publisher    = {springer},
 doi          = {10.1007/978-1-4612-9839-7},
)
@article(russo1966,
 author       = {B.~Russo and H.~A. Dye},
 year         = {1966},
 title        = {A note on unitary operators in {{$C^*$-algebras}}},
 journal      = {Duke Mathematical Journal},
 volume       = {33},
 number       = {2},
 pages        = {413--416},
 doi          = {10.1215/S0012-7094-66-03346-1},
)
@article(stinespring1955,
 author       = {W.~Forrest Stinespring},
 year         = {1955},
 title        = {Positive functions on {{$C^*$}}-algebras},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {6},
 number       = {2},
 pages        = {211--216},
 doi          = {10.2307/2032342},
)
@book(willard2004,
 author       = {Stephen Willard},
 year         = {2004},
 title        = {General topology},
 publisher    = {Courier Dover Publications},
)