31 citations · 69 across the 15 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
Combining nondeterminism, probability, and termination: equational and metric reasoning
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our mai…
cs.LO2020
Monads and Quantitative Equational Theories for Nondeterminism and Probability
Matteo Mio, Valeria Vignudelli
The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work w…
cs.LO2020★ 1 cited
Proof Theory of Riesz Spaces and Modal Riesz Spaces
Christophe Lucas, Matteo Mio
We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These…