next up previous contents
Next: Using the Y Combinator Up: Basic Usage of Y Previous: Generation of fixpoint using   Contents
New book on A++ and the Lambda Calculus available!

Fixpoint expansion by fixpoint expansion-reduction

It looks like magic that expansion can be obtained by reduction as well as by abstraction. The first of these alternatives is shown below:
fixpoint expansion
Verification of the expansion formula:
fixpoint expansion



Georg Loczewski 2003-08-07

Impressum und Datenschutz
access counter