1 Hit in 3.6 sec

Monads and Quantitative Equational Theories for Nondeterminism and Probability [article]

Matteo Mio, Valeria Vignudelli
2020 arXiv   pre-print
The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects.  ...  In this work we lift this monad from the category of sets to the category of metric spaces, by means of the Hausdorff and Kantorovich metric liftings.  ...  Henzinger, editors, Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, volume 4646 of Lecture  ... 
arXiv:2005.07509v1 fatcat:4oqtddfruvfurkga7h6nrmwg5y