Loading...

Monads and Quantitative Equational Theories for Nondeterminism and Probability - Matteo Mio, Valeria Vignudelli | Arena