Mail
michele [point] pagani [a] ens-lyon.fr
Fonction et responsabilités
Directement du département
Domaines de recherche
Sémantique des langages de programmation, logique linéaire, théorie de la preuve, lambda calcul