September 22, 1999 Perl and the Lambda Calculus Slide #30

        (f (Y f)) = (Y f)

``I think you should be more explicit here in step two...''



Next Copyright © 1999 M-J. Dominus