Monads and Quantitative Equational Theories for Nondeterminism and Probability

@misc{vignudelli2020monadsquantitativeequational,
      title={Monads and Quantitative Equational Theories for Nondeterminism and Probability},
      author={Valeria Vignudelli and Matteo Mio},
      year={2020},
      eprint={2005.07509},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      url={https://arxiv.org/abs/2005.07509},
}