Comment by curryhoward

The Y combinator is not the same as λ calculus. The Y combinator is an expression in λ calculus.