next up previous contents
Next: Rules of Alpha Conversion Up: Alpha Conversion Previous: Alpha Conversion   Contents
New book on A++ and the Lambda Calculus available!

Bound and Free Variables

Bound and Free Variables

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.



Georg Loczewski 2003-08-07