On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version)

Ugo Dal Lago, Davide Sangiorgi, Michele Alberti

We study bisimulation and context equivalence in a probabilistic $\lambda$-calculus. The contributions of this paper are threefold. Firstly we show a technique for proving congruence of…