Foundations for programming languages - Mitchell, John C. (MIT Press, 1996)
Keywords: Duval, André -- 1929-1998; Langages de programmation; Programmeertalen; Programming languages (Electronic computers); Programmiersprache; Typisierter Lambda-Kalkül