Title: [Lambda] - calculus and computer science theory
Subjects: Combinatory logic, Congresses, Programming languages (Electronic computers), Langages de programmation, Congrès, Logique combinatoire, Datenverarbeitung, Kombinatorische Logik, Lambda-Kalkül, Logik, Metamathematik, Programmiersprache, Kongress, Lambda-calculus