next up previous contents
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!

Fixpoint of a Function

If it can be shown that (M N) = N is true, then N is called either a `fixed point' or a `fixpoint' of M.

According to H. Curry, there exists a function, that generates such a fixed point of M. This function is the so-called Y-combinator introduced above.

fixpoint of a function
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