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.“
« La question de savoir si deux expressions lambda (cf. infra) sont équivalentes ne peut en général pas être décidée de manière algorithmique. »
„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.“
« La variable abstraite ne doit pas nécessairement apparaître dans le terme, p. ex. λx.2. Cette expression λ désigne alors la fonction qui associe tout x à 2. »
