reduction rule

reduction rule

[ri′dək·shən ‚rül]
(computer science)
The principal computation rule in the lambda calculus; it states that an operator-operand combination of the form (λ xMA) may be transformed into the expression S x A M, obtained by substituting the lambda expression A for all instances of x in M, provided there are no conflicts of variable names. Also known as beta rule.
References in periodicals archive ?
The debt brake rules could be seen as complementary to structural benchmarks and partially substitute the debt reduction rule from the six-pack and fiscal compact, concludes Kotian.
As an example, the reduction rule for sequential patterns is as follows: Two sequential process [p.
The second step is to apply the basis reduction rule.
The final rule reinstates Toxics Release Inventory (TRI) reporting requirements that were replaced by the TRI Burden Reduction Rule in December 2006.
The ARRA repeals the $4,000 cap on the 30% general business credit as it pertains to "small wind energy property" (section 48), increases the alternative fuel vehicle refueling property credit (section 30C), and repeals the basis reduction rule for the general business credit as applied to certain alternative energy property financed by subsidized energy financing or private activity bonds (section 48(a)(4)(D)).
It is straightforward to reformulate the reduction rule (1) in terms of reductions on graphs.
In January 2007, EPA finalized the TRI Burden Reduction Rule, quadrupling to 2,000 pounds what facilities can release before having to disclose details using Form R.
Baxter in Eugene will get no relief at all from the Burden Reduction Rule because companies that produce chemicals that accumulate and persist in the environment will be held to the current, stricter, reporting rules.
The Environmental Protection Agency announced its long-awaited mercury reduction rule in March, after Congress failed to act on the Bush administration's Clear Skies initiative.
EPA recently proposed a burden reduction rule for the Resource Conservation and Recovery Act (RCRA), which includes special provisions for Performance Track members.
46) This attribute reduction rule is generally intended to prevent taxpayers from using asset basis generated from tax-free earnings in the foreign corporation to offset taxable earnings in a domestic corporation.
As demonstrated in GCM 39617, however, this blanket reduction rule is overly restrictive.