Title: Lambda-Calculus, Combinators, and Functional Programming
Subjects: Programming languages (electronic computers), Logic, symbolic and mathematical