next up previous contents
Nächste Seite: Alpha-Konvertierung Aufwärts: Das Lambda-Kalkül Vorherige Seite: Assoziativitätsregeln   Inhalt

Gebundene und freie Variable

% latex2html id marker 944 \fbox{ \parbox{12.5cm}{ {\sc Fundamentalbegriff {\a... ...ten ihren Wert aus \uml {u}bergeordneten Lamb\-da-\-Aus\-dr\uml {u}\-cken. } }

Georg Loczewski 2003-08-07