@misc{indiciae7ca9305ca96e,
  title = {Logical Relations for Partial Features and Automatic Differentiation Correctness},
  author = {Fernando Lucatelli Nunes and Matthijs Vákár},
  year = {2022},
  url = {https://arxiv.org/abs/2210.08530},
  note = {Source identifier: 2210.08530}
}