Omega combinator
= Omega combinator
{c}
{title2=$\Omega$}
The omega combinator is the divergent <untyped lambda calculus> term
$$
\Omega=(\lambda x.xx)(\lambda x.xx),
$$
whose only <beta reduction> reproduces $\Omega$.
= Omega combinator
{c}
{title2=$\Omega$}
The omega combinator is the divergent <untyped lambda calculus> term
$$
\Omega=(\lambda x.xx)(\lambda x.xx),
$$
whose only <beta reduction> reproduces $\Omega$.