Beta-normal form (source code)

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

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

Back to article page