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