ein syntaktisches Konstrukt, was eine Kurzschreibweise eines Delegates ist.
„Die Frage, ob zwei Lambda-Ausdrücke (s. u.) äquivalent sind, kann im Allgemeinen nicht algorithmisch entschieden werden.“
「二つのラムダ式(下記参照)が等価かどうかという問題は、一般にはアルゴリズム的に決定できない。」
„Die abstrahierte Variable muss nicht notwendigerweise im Term vorkommen, z. B. λx.2. Dieser λ-Ausdruck bezeichnet dann die Funktion, die jedes x auf 2 abbildet.“
「抽象化された変数は必ずしも項の中に現れなくてもよく、例えばλx.2である。このラムダ式は、すべてのxを2に写像する関数を表す。」