Modèles Complètement Adéquats et Stables des Lambda-calculs Typés. Thèse de Doctorat d’Etat (1979)

by G Berry