Definition

The ``Y-combinator'', which is sometimes also called fixpoint combinator, was discovered by H. Curry. With its help it is possible to handle recursive functions in the Lambda Calculus.

In many programming languages it is possible to simply refer to the name of a function within the function itself. This is called implicit recursion, which is not possible in the Lambda Calculus because all lambda abstractions are by definition `anonymous functions'.