λ-calculus is a formal system for function definition, function application and recursion which forms the mathematical basis of functional programming.
Free books and papers
An Introduction To Functional Programming Through Lambda Calculus by Greg Michaelson
Lambda Calculi with Types by Henk Barendregt
Introduction to Lambda Calculus by Henk Barendregt and Erik Barendsen