1 paper
Thomas Ehrhard, Aymeric Walch
We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingred…