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