@misc{indiciaea22fc1e6b9bc,
  title = {Step-Indexed Logical Relations for Probability (long version)},
  author = {Aleš Bizjak and Lars Birkedal},
  year = {2015},
  doi = {10.1007/978-3-662-46678-0\_18},
  url = {https://arxiv.org/abs/1501.02623},
  note = {Source identifier: 1501.02623}
}