next up previous contents index
Next: Fixpoint expansion by -reduction Up: Basic Usage of Y-Combinator Previous: Fixpoint of a Function   Contents   Start

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} }
}


Georg P. Loczewski 2004-03-05


Impressum und Datenschutz