Der Lambda-Kalkül HD

Der Klassiker aus den 30ern von Alonzo Church (Kleene, Curry, und andere haben auch was beigetragen). Definition der Lambda-Terme, Alpha-Äquivalenz, Beta-Reduktion und Eta-Kontraktion. Implementierung in OCaml mit Parser, freien Variablen, Vertauschungen, Einsetzen, uvm. Dies ist Grundlage für Compilerbau, theoretische Informatik, Typ-Systeme, etc. Lustige Links: http://www.arminheller.de/ http://caml.inria.fr/