Michael A. Arbib & Ernest G. Manes (1980):
Partially additive categories and flow-diagram semantics.
Journal of Algebra 62(1),
pp. 203–227,
doi:10.1016/0021-8693(80)90212-4.
Kenta Cho (2014):
Semantics for a Quantum Programming Language by Operator Algebras.
In: QPL 2014,
EPTCS 172,
pp. 165–190,
doi:10.4204/EPTCS.172.12.
Kenta Cho, Bart Jacobs, Bas Westerbaan & Bram Westerbaan (2015):
Quotient–Comprehension Chains.
In: QPL 2015.
To appear.
Bart Jacobs (2014):
Dijkstra Monads in Monadic Computation.
In: CMCS 2014,
LNCS 8446.
Springer,
pp. 135–150,
doi:10.1007/978-3-662-44124-4_8.
Bart Jacobs (2015):
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic.
LMCS.
To appear. .11emplus.33emminus.07emarXiv:1205.3940v4 [math.LO].
Bart Jacobs & Jorik Mandemaker (2012):
Coreflections in Algebraic Quantum Logic.
Foundations of Physics 42(7),
pp. 932–958,
doi:10.1007/s10701-012-9654-8.
Bart Jacobs, Bas Westerbaan & Bram Westerbaan (2015):
States of Convex Sets.
In: FoSSaCS 2015,
LNCS 9034.
Springer,
pp. 87–101,
doi:10.1007/978-3-662-46678-0_6.
Ernest G. Manes & Michael A. Arbib (1986):
Algebraic Approaches to Program Semantics.
Monographs in Computer Science.
Springer,
doi:10.1007/978-1-4612-4962-7.
Eugenio Moggi (1991):
Notions of computation and monads.
Information and Computation 93(1),
pp. 55–92,
doi:10.1016/0890-5401(91)90052-4.
Mathys Rennela (2013):
On operator algebras in quantum computation.
Université Paris 7 Denis Diderot.
Mathys Rennela (2014):
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras.
In: MFPS XXX,
ENTCS 308.
Elsevier,
pp. 289–307,
doi:10.1016/j.entcs.2014.10.016.
eptcs@eptcs.org