next up previous contents index
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 $ M$:
\fbox{ \parbox{12.5cm}{ {\sc Rule 12 (fixpoint generation using Y-combinator)} ... ....25em} M)) \underset{\beta}{\rightarrow} (Y\hspace{0.25em} M)$ \end{center} } }

domain access counter Georg P. Loczewski 2004-03-05