Cartesian Coherent Differential Categories.

Thomas Ehrhard, Aymeric Walch

Browse the full LICS paper archive.