Y combinator
The Y combinator is the following term of the untyped
\mathbf{Y} \triangleq \lambda f. (\lambda x. f(xx)) (\lambda x. f(xx))
Please expand.
The Y combinator is the following term of the untyped
\mathbf{Y} \triangleq \lambda f. (\lambda x. f(xx)) (\lambda x. f(xx))
Please expand.