Modèles Complèment Adéquats et Stables des Lambda-calculs typés (1979)

by G Berry