On Probabilistic Applicative Bisimulation and Call-by-Value $\lambda$-Calculi (Long Version)

Raphaelle Crubille, Ugo Dal Lago

Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the techni…