Aymeric Walch

According to our database¹, Aymeric Walch authored at least 4 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Coherent Taylor expansion as a bimonad.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2025

Compositional Taylor expansion in cartesian differential categories.

[BibT_eX]

[DOI]

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

2024

Internship report: Coherent differentiation in models of Linear Logic.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Cartesian Coherent Differential Categories.

[BibT_eX]

[DOI]

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