INTRANET FOR ORGANIZERS
λ-calcul différentiel et logique linéaire différentielle, 20 ans après
Differential λ-Calculus and Differential Linear Logic, 20 Years Later
From 2024-05-13 To 2024-05-17
INTRANET FOR ORGANIZERS
From 2024-05-13 To 2024-05-17