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!
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:
Georg Loczewski
2003-08-07
-reduction
