Beta-redex (source code)

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

A beta-redex is a subterm of the form $(\lambda x.M)N$, to which <beta reduction> can be applied.

Back to article page