Next: Using the Y Combinator
Up: Basic Usage of Y
Previous: Generation of fixpoint using
New book on A++ and the Lambda Calculus available!
It looks like magic that expansion can be obtained by reduction as well
as by abstraction. The first of these alternatives is shown below:
Verification of the expansion formula: