PLS Lab

Y combinator

The Y combinator is the following term of the untyped \lambda-calculus.

\mathbf{Y} \triangleq \lambda f. (\lambda x. f(xx)) (\lambda x. f(xx))

Please expand.