beta reduction
nounDefinitions
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.
One of the three rewrite rules of the lambda calculus, which states that the application…
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.
The neighborhood
Vish — recursive loop
No curated loop yet for beta reduction. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA