der Lambda-Ausdruck
عبارت لامبدا
Beispiele
- Die Frage, ob zwei ''Lambda-Ausdrücke'' (s. u.) äquivalent sind, kann im Allgemeinen nicht algorithmisch entschieden werden.اینکه آیا دو عبارت لامبدا (به زیر مراجعه کنید) معادل هستند، در کل به طور الگوریتمی قابل تصمیمگیری نیست.