Modèles complètement adéquats et stables des lambda-calculs typés, Thèse de doctorat d’état, Université Paris VII (1979)

by G Berry