| Dictionary, Encyclopedia and Thesaurus - The Free Dictionary 1,805,633,745 visitors served. |
|
Dictionary/ thesaurus | Medical dictionary | Legal dictionary | Financial dictionary | Acronyms | Idioms | Encyclopedia | Wikipedia encyclopedia | ? |
renaming rule |
0.03 sec. |
|
renaming rule [rē′nām·iŋ ‚rül] (mathematics) A transformation rule in the lambda calculus that allows conflicts of variables to be eliminated; it states that a bound variablexin a lambda expressionMmay be uniformly replaced by some other bound variabley, providedydoes not occur inM. Also known as alpha 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 |
|---|