Lambda calculus

In der Programmierung ist eine anonyme Funktion ( Funktionsliteral , Lambda-Funktion oder Block ) eine Funktionsdefinition , die nicht an einen Bezeichner gebunden ist.

Im Lambda-Kalkül befindet sich ein Term in Beta-Normalform, wenn keine Beta-Reduktion möglich ist. Ein Term befindet sich in Beta-Eta-Normalform, wenn weder eine Beta- noch eine Eta-Reduktion möglich ist.

In der Mathematik und Informatik bezeichnet Currying die Technik, eine Funktion, die mehrere Argumente entgegennimmt, in eine Folge von Funktionsfamilien zu übersetzen , von denen jede ein einzelnes Argument

In der kombinatorischen Logik für Informatik ist ein Fixpunktkombinator (oder Fixpunktkombinator ) : S. 26 eine Funktion höherer Ordnung (d. h.

In Mathematik und Informatik ist eine Funktion höherer Ordnung ( HOF ) eine Funktion , die mindestens eine der folgenden Eigenschaften besitzt:

Das Kleene - Rosser-Paradoxon in der Mathematik zeigt die Inkonsistenz bestimmter Systeme formaler Logik auf , insbesondere der 1930 eingeführten Version von Haskell Currys kombinatorischer Logik und des 1932/33

Kombinatorische Logik ist eine Notation , die die Notwendigkeit quantifizierter Variablen in der mathematischen Logik beseitigt .

Ein Superkombinator ist ein vollständig gebundener und in sich abgeschlossener mathematischer Ausdruck . Er kann entweder eine Konstante oder ein Kombinator sein , dessen Teilausdrücke allesamt Superkombinatoren sind.