next up previous contents index
Next: Rules of Alpha Conversion Up: Alpha Conversion Previous: Alpha Conversion   Contents   Index


Bound and Free Variables

\fbox{
\parbox{12.5cm}{
{\sc Definition 3 (Bound and Free Variables)} \\
In th...
...Free variables take their values from
lambda expressions on higher levels.
}
}


domain access counter Georg P. Loczewski 2004-03-05