Réductions Correctes et Optimales dans le Lambda Calcul, Thèse de Doctorat d’Etat (1978)

by J-J Lévy