logo PREREGISTRATION-EVENT

λ-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

Sign in to your account

Captcha