@inproceedings{DBLP:conf/fossacs/HuotSV20,
  title = "Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing",
  author = "Mathieu Huot and Sam Staton and Matthijs V{\'{a}}k{\'{a}}r",
  year = "2020",
  booktitle = "Foundations of Software Science and Computation Structures - 23rd International Conference, {FOSSACS} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings",
  editor = "Jean Goubault{-}Larrecq and Barbara K{\"{o}}nig",
  pages = "319--338",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-030-45231-5\_17",
  volume = "12077",
  doi = "10.1007/978-3-030-45231-5\_17",
}