beta reduction (0 synonym found)

We don't have any synonyms for beta reduction yet.

Did you mean…

eta reduction  ·  delta reduction  ·  data reduction

Think beta reduction belongs in the thesaurus? Recommend it and we'll take a look.

Definition of beta reduction:

(n) : (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.
(n) : The act of beta reducing, an instance of replacing a function call by the result of calling a function.
Definition of beta reduction:

(n) : (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.
(n) : The act of beta reducing, an instance of replacing a function call by the result of calling a function.
Back to Top