Lambda-Kalkül

Ein formales System zur Darstellung von Berechnung, basierend auf Funktionsabstraktion, -anwendung, Variablenbindung und Substitution; es dient als minimales Programmiermodell und Grundlage für funktionale Programmierung und Berechenbarkeitstheorie.

Ein formales System zur Darstellung von Berechnung mittels Funktionsabstraktion (λx. M), Anwendung (M N), Variablenbindung und Substitution mit operationellen Regeln wie Alpha-Äquivalenz und Beta-Reduktion; es dient als grundlegendes Berechnungsmodell.