Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.

Mathieu Huot, Sam Staton, Matthijs Vkr

Browse the full FOSSACS paper archive.