Title: [Lambda]-calculus and computer science theory
Subjects: Combinatory logic, Congresses, Programming languages (Electronic computers)