@misc{indiciaeb7e211a97ce1,
  title = {On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem},
  author = {Gilles Barthe and Raphaëlle Crubillé and Ugo Dal Lago and Francesco Gavazzo},
  year = {2020},
  url = {https://arxiv.org/abs/2002.08489},
  note = {Source identifier: 2002.08489}
}