Direkt zum Inhalt | Direkt zur Navigation
Dieser Artikel gibt einen Überblick über den lambda-Kalkül. Er ist gedacht als Hintergrundmaterial zur Ergänzung der relativ knappen Abhandlung in der Vorlesung “Einführung in die Theoretische Informatik II”.