English words for 'plural of beta reduction'
Closest matches for "plural of beta reduction" are ranked by semantic fit across dictionary definitions.
Search results
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
No matching words found. Try a broader description.
No matching words found. Try a broader description.