beta reduction
beta reduction · beta reductions
The act of beta reducing, an instance of replacing a function call by the result of…The act of beta reducing, an instance of replacing a function call by the result of calling a function.
/ˈbeɪ.tə.ɹɪˌdʌk.ʃən/
Meaning
2 senses(countable, uncountable)The act of beta reducing, an instance of replacing a function call by the result of calling a function.
(countable, uncountable)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.
Forms
plural: beta reductions| Singular | beta reduction |
|---|---|
| Plural | beta reductions |
regular
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable