Title: An introduction to functional programming through Lambda calculus
Subjects: Functional programming (Computer science), Lambda calculus