@misc{indiciae42b7ed6e054f,
  title = {Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)},
  author = {Ugo Dal Lago and Francesco Gavazzo and Akira Yoshimizu},
  year = {2019},
  url = {https://arxiv.org/abs/1904.12137},
  note = {Source identifier: 1904.12137}
}