alpha conversion

Computing Dictionary

alpha conversion definition

theory
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.
(1995-05-10)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: alpha centauri system
Next Definition: alpha crucis
Words Near: alpha conversion
More from Thesaurus.com
Synonyms and Antonyms for alpha conversion
More from Reference.com
Search for articles containing alpha conversion
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

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