Compositional Taylor expansion in cartesian differential categories.

Aymeric Walch

Browse the full LICS paper archive.