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

Application Example

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