Static or dynamic binding of free names in lambda expressions
A name n is free in some function F if n is applied, but not defined in F