next up previous contents
Next: Fixpoint expansion by -reduction Up: Basic Usage of Y Previous: Fixpoint of a Function   Contents
New book on A++ and the Lambda Calculus available!

Generation of fixpoint using Y combinator

By definition the Y combinator has the function to generate a fixpoint of M:
fixpoint generation using Y combinator

Georg Loczewski 2003-08-07

Impressum und Datenschutz
access counter