Its a fixed point combinator in lambda calculus. http://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combinator http://en.wikipedia.org/wiki/Fixed-point_combi

Its a fixed point combinator in lambda calculus. http://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combinator http://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combin...