** Next:** Generation of fixpoint using
** Up:** Basic Usage of Y
** Previous:** Basic Usage of Y
** Contents**

New book on A++ and the Lambda Calculus available!

If it can be shown that
is true, then is
called either a *`fixed point'* or a *`fixpoint'* of .
According to H. Curry, there exists a function, that
generates such a *fixed point* of . This function is
the so-called Y-combinator introduced above.

According to the above definition a fixpoint of a function can be
seen as a lambda expression that, if passed as argument to this
function is returned by the function.

Georg Loczewski
2003-08-07