renaming rule
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 variable x in a lambda expression M may be uniformly replaced by some other bound variable y, provided y does not occur in M. Also known as alpha rule.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.
Copyright © 2003-2025 Farlex, Inc
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.