logique linéaire appliquée à l’étude de divers processus de normalisation (principalement du λ-calcul). Thèse de Doctorat, Université Paris VII (1990)