Propositions de stage niveau master
Quelques investigations en théorie des types
Mathématiques à rebours constructives et contenu calculatoire du théorème de complétude de Gödel
Calcul des Constructions avec univers cumulatifs et conversion typée