Environmental bisimulations for probabilistic higher-order languages.

Davide Sangiorgi, Valeria Vignudelli

Browse the full POPL paper archive.