Michael A. Arbib
Ernest G. Manes
1980
Partially additive categories and flow-diagram semantics
Journal of Algebra
62
1
203–227
10.1016/0021-8693(80)90212-4
Kenta Cho
2014
Semantics for a Quantum Programming Language by Operator Algebras
QPL 2014
EPTCS
172
165–190
10.4204/EPTCS.172.12
Kenta Cho
Bart Jacobs
Bas Westerbaan
Bram Westerbaan
2015
Quotient–Comprehension Chains
QPL 2015
To appear
Bart Jacobs
2014
Dijkstra Monads in Monadic Computation
CMCS 2014
LNCS
8446
Springer
135–150
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
932–958
10.1007/s10701-012-9654-8
Bart Jacobs
Bas Westerbaan
Bram Westerbaan
2015
States of Convex Sets
FoSSaCS 2015
LNCS
9034
Springer
87–101
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
10.1007/978-1-4612-4962-7
Eugenio Moggi
1991
Notions of computation and monads
Information and Computation
93
1
55–92
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
MFPS XXX
ENTCS
308
Elsevier
289–307
10.1016/j.entcs.2014.10.016