Skip to Main content Skip to Navigation
New interface


...
tel-00672699v1  Theses
Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français. ⟨NNT : ⟩