3 papers
cs.LO2026
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…
cs.LO2025
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…
cs.LO2024
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…