Binding terminology

[David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>]

    Date: 4 Feb 87 07:09:00 EST
    From: "CUGINI, JOHN" <cugini@icst-ecf>
    ....no other language I know of that has
    recursion speaks of "different bindings of the same variable" to
    explain what's going on with the parameter list of a recursively
    invoked function.  The CL terminology conjures up the image of one
    object with a changeable property, rather than of different objects,
    each of which is referred to by the same name at different times.

Part of this is because few other languages have dynamic binding.
Dynamic variables really are one object with a changeable property.
Lexical variables, on the other hand, are separate objects referred to
by the same name in separate scopes.