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