Simply typed lambda calculus
= Simply typed lambda calculus
{title2=$\lambda^{\to}$}
{wiki=Simply_typed_lambda_calculus}
The simply typed lambda calculus assigns arrow types to variables, abstractions, and applications according to syntax-directed typing rules.