Note: The name of this Web site refers to `lambda bound variables'. A variable is considered to be 'lambda bound' if it appears in the list of parameters of the lambda abstraction in which it is used.
