Lambda-Kalkül

Alonzo Church schlug den Lambda-Kalkül vor, ein formales System zur Definition und Anwendung von Funktionen. Der Lambda-Kalkül gilt als theoretische Grundlage der funktionalen Programmierung. Der ursprüngliche Lambda-Kalkül von 1936 war typlos; Church fügte 1940 einfache Typen hinzu („A Formulation of the Simple Theory of Types“) und schuf damit eines der frühesten explizit getypten Systeme.

Alonzo Church (1903–1995)

Status

Verifiziert

Inhaltstyp

fact

Letzte Prüfung

2026-07-16