Back to Our Example

Consider (lambda (x) ...).

• It binds the variable x.
• The scope of x is the body, ...

Consider (lambda (y) ...) by itself

• It binds the variable y.
• The scope of y is the body, ...

Consider (lambda (x) (lambda (y) ...))

• Inside of ... both x and y are bound.
• x is bound by the outer lambda
• y is bound by the inner lambda
• + is free

Jim Miller