University of Washington • CSE583 • D. Notkin
©
2000
70
That it!
l
That’s just about
the full definition
of the
l
-calculus
