Skip to Main content Skip to Navigation
New interface

tel-00351837v1  Theses
Pierre-Yves Strub. Type Theory and Decision Procedures
Formal Languages and Automata Theory [cs.FL]. Ecole Polytechnique X, 2008. English. ⟨NNT : 2008EPXX0054⟩
pastel-00605836v1  Theses
Arnaud Spiwack. Verified Computing in Homological Algebra
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
tel-00433165v1  Theses
Denis Cousineau. Modèles et normalisation des preuves
Informatique [cs]. Ecole Polytechnique X, 2009. Français
pastel-00838322v1  Theses
Chantal Keller. A Matter of Trust: Skeptical Communication Between Coq and External Provers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
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 : ⟩
pastel-00780446v1  Theses
Cyril Cohen. Formalized algebraic numbers: construction and first-order theory.
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩