** 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