| Dictionary, Encyclopedia and Thesaurus - The Free Dictionary 1,807,228,059 visitors served. |
|
Dictionary/ thesaurus | Medical dictionary | Legal dictionary | Financial dictionary | Acronyms | Idioms | Encyclopedia | Wikipedia encyclopedia | ? |
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 expressionSxAM, obtained by substituting the lambda expressionAfor all instances ofxinM, provided there are no conflicts of variable names. Also known as beta rule. How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content. |
|
| ? Mentioned in |
|---|
| Encyclopedia |
| Free Tools: |
For surfers:
Free toolbar & extensions |
Word of the Day |
Help
For webmasters: Free content | Linking | Lookup box | Double-click lookup | Partner with us |
|---|