Step-Indexed Logical Relations for Probability.

Ales Bizjak, Lars Birkedal

Browse the full FOSSACS paper archive.