On coinductive equivalences for higher-order probabilistic functional programs.

Ugo Dal Lago, Davide Sangiorgi, Michele Alberti

Browse the full POPL paper archive.