beta reduction (English, noun)
expansion: beta reduction (countable and uncountable, plural beta reductions)
Senses:
glosses: The act of beta reducing, an instance of replacing a function call by the result of calling a function.
tags: countable
uncountable
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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.
tags: countable
uncountable
Forms:
form: beta reductions
tags: plural