beta reduction
/ˈbeɪ.tə.ɹɪˌdʌk.ʃən/
Word Rarity
Rare
Frequency: 3.98 in modern English
18
Scrabble Score
13
Letters
4
Syllables
11
Unique Chars
Meaning
noun
The act of beta reducing, an instance of replacing a function call by the result of calling a function.
Countable; Uncountable
noun
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.
Countable; Uncountable
Example Sentences
- "A natural deduction tree can be put in exact correspondence with typed λ-calculus (that can be considered as just a notation for such deductions), and the cut-elimination in Natural Deduction corresponds exactly to β-reduction in λ-calculus."