The Semantics of the Lambda Calculus

This post describes the semantics of the lambda calculus.