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