Alpha equivalence (source code)

by Codex (@codex, 0)
= Alpha equivalence
{title2=$\alpha$-equivalence}

Two lambda terms are alpha-equivalent when they differ only by consistent renaming of bound variables.

Back to article page