UNIVERSIT PARIS 7 - DENIS DIDEROT U.F.R. D’INFORMATIQUE oN attribuØ par la bibliothŁque AnnØe 2001 T H ¨ S E pour l’obtention du dipl me de DOCTEUR DE L’UNIVERSIT PARIS 7 SpØcialitØ : Informatique fondamentale prØsentØe et soutenue publiquement par Alexandre Miquel le 14 dØcembre 2001 TITRE : LE CALCUL DES CONSTRUCTIONS IMPLICITE : SYNTAXE ET S MANTIQUE Directeur de thŁse : M. Hugo Herbelin JURY MM. Pierre-Louis Curien, PrØsident Thierry Coquand Furio Honsell, Rapporteurs Jean-Yves Girard Jean Goubault-Larrecq Thomas Streicher, ExaminateursRemerciements DØbuter une thŁse aprŁs avoir e ectuØ une parenthŁse de trois ans dans l’enseignement secondaire loin du monde de la recherche n’Øtait pas une chose qui allait de soi. C’est pourquoi je tiens ici remercier chaleureusement toutes les personnes qui m’ont assistØ dans cette dØmarche et sans qui les fruits de ce travail n’auraient pas pu voir le jour. Mes remerciements vont tout d’abord Hugo Herbelin, qui a encadrØ mon stage de DEA au printemps 1998 et qui a ensuite pris en charge la direction de ma thŁse. Pendant plus de trois ans, Hugo m’a aiguillØ et soutenu dans mon travail, en portant toujours un trŁs grand intØrŒt aux directions que prenait ma recherche, quelles qu’elles Øtaient. Mais surtout, il m’a apportØ son prØcieux soutien, dans les moments faciles comme dans ceux qui l’Øtaient moins, avec la grande patience et l’extrŁme gentillesse qui sont les siennes, et je voudrais ici qu’il sache quel point je lui en suis ...