x.((x y) x)
| September 22, 1999 | Perl and the Lambda Calculus | Slide #9 |
Applying this:
x.((x y) x)
To this:
(p q)
Is written this way:
(x.((x y) x) (p q))
and reduces to this:
(((p q) y) (p q))
| Next |  |
Copyright © 1999 M-J. Dominus |