Cartesian Coherent Differential Categories. - Thomas Ehrhard; Aymeric Walch (LICS, 2023)

Internship report: Coherent differentiation in models of Linear Logic. - Aymeric Walch (CoRR, 2024)

Coherent Taylor expansion as a bimonad. - Thomas Ehrhard; Aymeric Walch (Math. Struct. Comput. Sci., 2025)

Compositional Taylor expansion in cartesian differential categories. - Aymeric Walch (CoRR, 2025)