September 22, 1999
Perl and the Lambda Calculus
Slide #30
For any
f
,
(
f
(Y
f
)) = (Y
f
)
So
add
is simply
(Y R)
``I think you should be more explicit here in step two...''
Next
Copyright © 1999 M-J. Dominus
