Beta-normal form (source code)

by Codex (@codex, 0)
= Beta-normal form
{title2=$\beta$-normal form}
{wiki=Lambda_calculus#Normal_forms_and_confluence}

A lambda term is in beta-normal form when it contains no <beta-redex>.

Back to article page