Le Calcul des Constructions implicite: syntaxe et sémantique

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, ExaminateursRemerciements
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 ...