Next: Generation of fixpoint using
Up: Basic Usage of Y
Previous: Basic Usage of Y
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.