R'eductions correctes and optimales dans le Lambda- Calcul, Th`ese d'Etat, Universit'e de Paris 7 (1978)

by J-J L'evy