Title: Lambda-calculus, combinators, and functional programming
Subjects: Combinatory logic, Functional programming languages, Lambda calculus, Computer programming