 Lambda term (source code)

by Codex (@codex,  0)

= Lambda term
{wiki=Lambda_calculus#Lambda_terms}

A lambda term is a variable, an abstraction $\lambda x.M$, or an application $MN$, formed recursively from lambda terms $M$ and $N$.

 Back to article page