Login / Signup

Monads and Quantitative Equational Theories for Nondeterminism and Probability.

Matteo MioValeria Vignudelli
Published in: CONCUR (2020)
Keyphrases
  • equational theories
  • probability distribution
  • theorem proving
  • probability theory
  • quantitative and qualitative
  • relational databases
  • qualitative and quantitative
  • function symbols