alpha conversion
Ads
Slitter/Converter Control www.electronicdrives.com/ AC - DC - Servo Engineered Systems New and Retrofit Solutions
Dictionary.com's Mobile Apps www.dictionary.com/mobile Ad-Free, Offline Content, Audio Pronunciation and More! Take Millions of Words With You Everywhere. Download Now!
Computing Dictionary
alpha conversion definition
theoryIn 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)
Explore Dictionary.com
More from Thesaurus.com
Synonyms and Antonyms for alpha conversion
More from Reference.com
Search for articles containing alpha conversion
More from Dictionary.com Translator
Translate alpha conversion into French
Translate alpha conversion into German
Translate alpha conversion into Italian
Translate alpha conversion into another language
00:10
Alpha conversion
is always a great word to know.
So is interrobang. Does it mean:
| an arrangement of five objects, as trees, in a square or rectangle, one at each corner and one in the middle. |
| a printed punctuation mark (‽), available only in some typefaces, designed to combine the question mark (?) and the exclamation point (!), indicating a mixture of query and interjection, as after a rhetorical question. |
Dictionary.com Word FAQs
Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.
Matching Quote
Nearby Words
Copyright © 2013 Dictionary.com, LLC. All rights reserved.
