next up previous contents
Next: Basic Usage of Y Up: Y Combinator Previous: Y Combinator   Contents
New book on A++ and the Lambda Calculus available!

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'.

Y-Combinator


Georg Loczewski 2003-08-07