Next: Basic Usage of Y-Combinator
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
Georg P. Loczewski