Lambda calculus
Lambda calculus is concerned with objects called "lambda-terms", which can be represented by