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

AltStyle によって変換されたページ (->オリジナル) /