Modeles completement adequats et stable de lambda-calculs (1979)

by Gérard Berry