Jury:

• Claude Kirchner (président)
• Andrea Asperti (rapporteur)
• Pierre-Louis Curien (rapporteur, excusé)
• Carlos Simpson (rapporteur)
• Christine Paulin-Mohring 
• Gérard Huet

Mémoire (pdf)

Pour s'y rendre


Il y aura un pot.



Autres articles faisant partie du dossier:

• Proof Normalization Modulo. Journal of symbolic Logic, 2003. Avec Gilles Dowek.
• Choice in Dynamic Linking. FOSSACS 2004, avec Martin Abadì et Georges Gonthier (LNCS).
• On the power of proof-irrelevant type theories.  Logical Methods in Computer Science,2008, édition spéciale tirée de IJCAR 2006 (LNAI/LNCS)
• Simple Types in type theory: deep and shallow embedings. Avec François Garillot, TPHOLs 2007 (LNCS)
• The not-so-simple proof-irrelevant model of CC. TYPES 2002, avec Alexandre Miquel (LNCS).