beta reduction
Hello, you have come here looking for the meaning of the word beta reduction. In DICTIOUS you will not only get to know all the dictionary meanings for the word beta reduction, but we will also tell you about its etymology, its characteristics and you will know how to say beta reduction in singular and plural. Everything you need to know about the word beta reduction you have here. The definition of the word beta reduction will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofbeta reduction, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Noun
beta reduction (countable and uncountable, plural beta reductions)
- 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 to a term yields an expression , "t with s instead of x", where all free instances of x in t have been replaced by s.
- 1996, Roberto DiCosmo with Vincent Danos, The Linear Logic Primer, Université de Paris VII, retrieved 2016-04-18, page 43:
- 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.
