Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
Mathieu Huot‚ Sam Staton and Matthijs Vákár
Book Title
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önig
Pages
319–338
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
12077
Year
2020