Thesis

You can find the manuscript of my thesis here, and the slides of my defense here.

Papers

2026

Christine Tasson and Aymeric Walch. Absolute Convergence and Taylor Expansion in Web Based Models of Linear Logic. In 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 378, pp. 29:1-29:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/LIPIcs.FSCD.2026.29

2025

Aymeric Walch, Compositional Taylor expansion in cartesian differential categories in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Singapore, Singapore, 2025, pp. 748-760, doi: 10.1109/LICS65433.2025.00062. The preprint is available here

Ehrhard T, Walch A. Coherent Taylor expansion as a bimonad. Mathematical Structures in Computer Science. 2025;35:e9. doi:10.1017/S0960129525000040. The preprint is available here

2023

Thomas Ehrhard, Aymeric Walch, Cartesian Coherent Differential Categories in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, MA, USA, 2023 pp. 1-13. doi: 10.1109/LICS56636.2023.10175717. The preprint is available here

2022

My M2 research internship report. It contains a sketch of the proof that coherent differentiation is a generalization of differential categories.

Talks

A compositionnal approach to Taylor expansion (in cartesian differential categories)

  • ANTIQUE seminar, April 11th 2025, Slides
  • LICS 2025, June 25th 2025, Slides

A new categorical axiomatization of Taylor expansion

  • Séminaire Logiques et Interractions in Marseille, February 8th 2024, Slides
  • DiLL workshop at Wytham Abbey, November 13th 2023, Slides

Cartesian Coherent Differential Categories

  • LICS 2023, June 29th 2023, Slides
  • Chocola seminar, June 15th 2023, Slides
  • ANR PPS meeting, January 4th 2023, Slides

Posters