Next: Fixpoint expansion by -reduction
Up: Basic Usage of Y
Previous: Fixpoint of a Function
Contents
New book on A++ and the Lambda Calculus available!
By definition the Y combinator has the function to
generate a fixpoint of 
:
Georg Loczewski
2003-08-07
