Lambda calculus
Lambda calculus and programming languages.