4 papers
Absolute convergence and Taylor expansion in web based models of Linear Logic
Christine Tasson, Aymeric Walch
The differential -calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has…
Compositional Taylor expansion in cartesian differential categories
Aymeric Walch
This paper provides a compositional approach to Taylor expansion, in the setting of cartesian differential categories. Taylor expansion is captured here by a functor that generaliz…
Coherent Taylor expansion as a bimonad
Thomas Ehrhard, Aymeric Walch
We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necess…
Internship report: Coherent differentiation in models of Linear Logic
Aymeric Walch
Coherent differentiation was introduced by Ehrhard in order to generalize differential categories to a setting in which the sum is only partially defined, in order to account for t…