-
Lambda Calculus: Lexical syntax
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.
-
a short introduction to lambda calculus
There couldn’t be a much shorter and crispier introduction to lambda calculus than by Graham Hutton.