An Introduction to Lambda Calculus and Functional Programming
Rodrigo C. Machado · 2013
Lambda calculus is a formal system built around the concepts of function definition and function application. It is a minimalistic Turing-computable system that has a great influence on the design of functional programming. This paper is a tutorial on the untyped lambda calculus and its use as an idealised programming language.