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


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. } }

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz