Y Combinator is a "fixed point combinator" in lambda calculus

This post does not have any comments yet