most citedContextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2018★ 1 cited

Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion

Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos +1

We present a complete reasoning principle for contextual equivalence in an untyped probabilistic language. The language includes continuous (real-valued) random variables, conditio…