Théorie des types et réécriture. F. Blanqui. Ph.D. thesis, Université Paris-Sud, 139 pages, 2001. French version. SPECIF 2001 PhD thesis award.