Page personnelle 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
