@misc{indiciae81caa63e086f,
  title = {On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version)},
  author = {Ugo Dal Lago and Davide Sangiorgi and Michele Alberti},
  year = {2013},
  url = {https://arxiv.org/abs/1311.1722},
  note = {Source identifier: 1311.1722}
}