September 22, 1999

Strong Typing

Slide #9

Application Example

Apppying 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))