Réductions correctes et optimales dans le λ-calcul. Thèse de doctorat d’état, Université Paris VII (1978)

by Jean-Jacques Lévy