TY - RPRT TI - Monads and Quantitative Equational Theories for Nondeterminism and Probability AU - Matteo Mio AU - Valeria Vignudelli PY - 2020 UR - https://arxiv.org/abs/2005.07509 ID - 2005.07509 ER -