Programmation en lambda-calcul pur et typé

TEL :: [tel-00415534, version 1]
http://tel.archives-ouvertes.fr/tel-00415534/en/
Mes travaux de recherche portent sur la théorie de la démonstration, le lambda-calcul et l'informatique théorique, dans la ligne de la correspondance de Curry-Howard entre les preuves et les programmes.
...