Journal: Logical Methods in Computer Science

Volume 11, Issue 2

0 -- 0Robert W. J. Furber, Bart P. F. Jacobs. From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality