[5]	Eduardo Bonelli. Substitutions explicites et réécriture de termes. Thèse de doctorat, Université Paris-Sud, Orsay, France, November 2001. [ bib ]
[4]	Xavier Urbain. Approche incrémentale des preuves automatiques de terminaison. Thèse de doctorat, Université Paris-Sud, Orsay, France, October 2001. http://www.lri.fr/~urbain/textes/these.ps.gz. [ bib | .ps.gz ]
[3]	F. Blanqui. Théorie des Types et Récriture. PhD thesis, Université Paris XI, Orsay, France, 2001. [ bib ]
[2]	Pierre Courtieu. Représentation d'algèbres non libres en théorie des types. PhD thesis, Université Paris-Sud, 2001. [ bib ]
[1]	Delia Kesner. Un parcours de la réécriture d'ordre supérieur à la réécriture du premier ordre. Thèse d'habilitation à diriger des recherches, Université Paris-Sud XI, 2001. [ bib ]