alpha conversion
English
Noun
alpha conversion (plural alpha conversions)
- (computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term gets replaced by another variable across its entire scope. So if there is a lambda term of the form and it is desired to have x replaced with y, then the rewritten lambda term would have the form where , "t with y in stead of x", has had all free instances of x in t replaced with y.
Coordinate terms
This article is issued from
Wiktionary.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.