reduction rule

0.01 sec.

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 expressionS^x_AM, obtained by substituting the lambda expressionAfor all instances ofxinM, provided there are no conflicts of variable names. Also known as beta rule.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			Tax attributes" in this illustration are, in order and properly contemplating the consolidated attribute reduction rules of Regs. Debt restructurings in today's private equity environment by Keller, Brian E. / The Tax Adviser The group also wanted the ability to model its payer contracts in an application that would then value claims based on numerous variables, like multiple procedure reduction rules or modifier multipliers. Software verifies reimbursement accuracy: contract-management system ... by Health Management Technology The final rule reinstates Toxics Release Inventory (TRI) reporting requirements that were replaced by the TRI Burden Reduction Rule in December 2006. EPA reinstates full TRI reporting requirements by JCT CoatingsTech			reducing pipe fitting reducing power reducing socket reducing sugar Reducing Valve Reducing-Cooling Unit reduct reductant Reductio Ad Absurdum Reduction reduction cell reduction formula reduction gear reduction index reduction of area Reduction of Forces Reduction of Labor Reduction of Metals reduction of observations reduction of star places reduction of tidal current reduction of tides reduction potential reduction ratio reduction roll reduction rule reduction sequence reduction sphere reduction strategy reduction to sea level reduction to the meridian reduction to the sun Reduction, Photographic reductions reductive grammar Redundancy redundancy bit redundancy check redundant redundant array of inexpensive disks Redundant Array of Inexpensive Servers Redundant Arrays of Independent Disks Redundant Arrays of Inexpensive Disks redundant bombing redundant character redundant code redundant digit redundant equation redundant number redundant system reduplicate			Reduction of Cholesterol in Ischemia and Function of the Endothelium reduction of chromosomes Reduction of Earthquake Losses in the Eastern Mediterranean Region Reduction of Enterprise Nutrient Discharges Project Reduction of Error Reduction of Excess Steam Emission and Air Leakage Reduction of Force Reduction of Forces Reduction of Labor Reduction of Metals reduction of observations reduction of star places Reduction of the Posterior Vertical Dimension reduction of tidal current reduction of tides Reduction on Yield Reduction Option Loan Reduction Option Loans Réduction Ouverte avec Fixation Interne Reduction potential Reduction potential reduction ratio Reduction Ratio of Viable Tumor Size Reduction reaction Reduction reaction Reduction reaction reduction roll reduction rule reduction sequence reduction sphere Reduction Strategies Reduction strategy Reduction Symmetry Method Reduction to a Previously Unsolved Problem reduction to order reduction to sea level reduction to the meridian reduction to the sun reduction ureteroplasty Reduction, Photographic Reduction, Readiness, Response, Recovery Reduction-Option Loan Reduction-Option Loan Reduction-Option Loans Réduction/Agrandissement Reduction/Oxidation reductional reductional reductional reductional reductiones ad absurdum reductiones ad absurdum reductiones ad absurdum reductionism reductionism reductionist reductionist reductionistic

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.