@misc{indiciae9f9df1e941bd,
  title = {Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus},
  author = {Alejandro Aguirre and Gilles Barthe and Lars Birkedal and Aleš Bizjak and Marco Gaboardi and Deepak Garg},
  year = {2018},
  url = {https://arxiv.org/abs/1802.09787},
  note = {Source identifier: 1802.09787}
}