An Introduction to Functional Programming

Lambda calculus is a tiny mathematical programming language that is the origin of functional programming. For people who want to understand functional programming, there are few better books.