λ-calcul différentiel et logique linéaire différentielle, 20 ans après
Differential λ-Calculus and Differential Linear Logic, 20 Years Later
13-17 May, 2024