Erforschung der Lambda-Kalkulation
Einführung in die Lambda-Kalkulation Die Lambda-Kalkulation ist ein formales System zur Darstellung von Berechnungen, das auf der Abstraktion und Anwendung von Funktionen beruht. Es wurde von Alonzo Church in den 1930er Jahren im Rahmen seiner Forschungen über die Grundlagen der Mathematik eingeführt. Das Lambda-Kalkül wurde weithin als Grundlage für Programmiersprachen und als Hilfsmittel für die … Weiterlesen