1 Hit in 2.5 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.  ...  Our main result is the presentation of this lifted monad in terms of the quantitative equational theory of convex semilattices, using the framework of quantitative algebras recently introduced by Mardare  ...  , ETAPS 2008, Budapest, Hungary, March 29 -April 6, 2008.  ... 
arXiv:2005.07509v1 fatcat:4oqtddfruvfurkga7h6nrmwg5y