Lambda Calculus was invented by Alonzo Church as a formal system to model computations using functions to define abstractions and applications. It is the most simplest programming language.

There couldn’t be a much shorter and crispier introduction to lambda calculus than by Graham Hutton.