Next:
Fixpoint expansion by -reduction
Up:
Basic Usage of Y-Combinator
Previous:
Fixpoint of a Function
Contents
Index
Generation of fixpoint using Y-combinator
By definition the Y-combinator has the function to generate a fixpoint of
:
Georg P. Loczewski 2004-03-05