alpha conversion

Computing Dictionary

alpha conversion definition

In lambda-calculus and reduction, the renaming of a formal parameter in a lambda abstraction. This does not change the meaning of the abstraction. For example:
\ x . x+1 \ y . y+1
If the actual argument to a lambda abstraction contains instances of the abstraction's formal parameter then it is necessary to rename the parameter before applying the abstraction to avoid name capture.
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Previous Definition: alpha centauri system
Next Definition: alpha crucis
Words Near: alpha conversion
More from
Synonyms and Antonyms for alpha conversion
More from
Search for articles containing alpha conversion Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature