@misc{indiciae8e2f52dfb4d9,
  title = {On randomised strategies in the \$λ\$-calculus (long version)},
  author = {Ugo Dal Lago and Gabriele Vanoni},
  year = {2019},
  url = {https://arxiv.org/abs/1805.03934},
  note = {Source identifier: 1805.03934}
}