Lambda-calcul différentiel et logique classique : interactions calculatoires / Lionel
Vaux, 2007 [thèse]
https://www.i2m.univ-amu.fr/perso/lionel.vaux/, 2022-07-18
Information trouvée : Maître de conférences en mathématiques (HDR) à l'université d’Aix-Marseille depuis
septembre 2009 (en 2022)