@misc{indiciae6a79af4cbd6a,
  title = {A Relational Logic for Higher-Order Programs},
  author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Pierre-Yves Strub},
  year = {2017},
  doi = {10.1017/s0956796819000145},
  url = {https://arxiv.org/abs/1703.05042},
  note = {Source identifier: 1703.05042}
}