Title: Lambda-calculus models of programming languages
Subjects: Combinatory logic, Programming languages (Electronic computers)