Aymeric Walch

According to our database, Aymeric Walch authored at least 6 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Absolute convergence and Taylor expansion in web based models of Linear Logic.

Christine Tasson, Aymeric Walch

CoRR, March, 2026

2025

Compositional Taylor expansion in additive and non-additive models of linear logic. (Expansion de Taylor compositionnelle dans les modèles additifs et non additifs de la logique linéaire).

Aymeric Walch

PhD thesis, 2025

Coherent Taylor expansion as a bimonad.

Thomas Ehrhard, Aymeric Walch

Math. Struct. Comput. Sci., 2025

Compositional Taylor expansion in cartesian differential categories.

Aymeric Walch

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Internship report: Coherent differentiation in models of Linear Logic.

Aymeric Walch

CoRR, 2024

2023

Cartesian Coherent Differential Categories.

Thomas Ehrhard, Aymeric Walch

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023