English-Wörter für 'plural of beta reduction'
Oben finden Sie Wörter zu "plural of beta reduction". Bewegen Sie den Fokus oder Mauszeiger auf ein Wort, um die Definition anzuzeigen.
Suchergebnisse
noun
noun
noun
noun
noun
noun
- The act of beta reducing, an instance of replacing a function call by the result of calling a function.
- (computing theory) One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.
noun
noun
noun
noun
noun
noun
noun
- The act of beta reducing, an instance of replacing a function call by the result of calling a function.
- (computing theory) One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.
noun
Keine passenden Wörter gefunden. Versuchen Sie eine allgemeinere Beschreibung.
Keine passenden Wörter gefunden. Versuchen Sie eine allgemeinere Beschreibung.