Propositions de stage niveau master
Calcul des Constructions avec univers cumulatifs et conversion typée
Caractérisation de l'Arithmétique Primitive Récursive comme sous-système du Calcul des Constructions Inductives