September 22, 1999
Perl and the Lambda Calculus
Slide #30
For any
f
,
(
f
(Y
f
)) = (Y
f
)
So
add
is simply
(Y R)
continued...
Next
Copyright © 1999 M-J. Dominus
