Modèles Complètement Adéquats et Stables des LambdaCalculs Typé, Thèse d’état (1979)

by G Berry