Direction de thèses.

Les thèses de Kerth, Vallée, Manzonetto sont disponibles sur le web (cliquer plus bas),
Celle de Bastonero ne l'est pas actuellement.

Pour consulter une liste des autres publications des auteurs cliquer
ici .

Ying Jiang:

Consistance et inconsistance de théories de lambda-calculs étendus,
Thèse, Université Paris 7, Juin 1993 (Codirection avec J.L. Krivine).

Rainer Kerth:

Isomorphisme et équivalence équationnelle entre modèles du lambda-calcul,
 Thèse , Université de Paris 7, Octobre 1995.

Xavier Gouy:

Etude des théories équationnelles et des propriétés algébriques des modèles stables du lambda-calcul,
Thèse, Université Paris 7, Décembre 1995.

Olivier Bastonero:

Modèles fortement stables du lambda-calcul et résultats d'incomplétude,
Thèse, Université de Paris 7, Décembre 1996 .

Thierry Vallée:

"Map Theory" et Antifondation,
          Thèse, Université de Paris 7, Décembre 2001.
          http://www.pps.jussieu.fr/~vallee/

Giulio Manzonetto :

         Models and theories of lambda-calculus
         
Thèse,Université Paris 7 et Università ca'Foscari de Venise, Février 2008.
         http://www.dsi.unive.it/~gmanzone/