Definitions from Wiktionary (alpha conversion)
▸ noun: (computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (λx.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (λy.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.
▸ Words similar to alpha conversion
▸ Usage examples for alpha conversion
▸ Idioms related to alpha conversion
▸ Wikipedia articles (New!)
▸ Words that often appear near alpha conversion
▸ Rhymes of alpha conversion
▸ Invented words related to alpha conversion
▸ noun: (computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (λx.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (λy.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.
Similar:
eta conversion,
lambda abstraction,
beta reduction,
application,
lambda calculus,
lambda term,
lambda,
rewrite,
Church encoding,
transformation,
more...
Opposite:
▸ Words similar to alpha conversion
▸ Usage examples for alpha conversion
▸ Idioms related to alpha conversion
▸ Wikipedia articles (New!)
▸ Words that often appear near alpha conversion
▸ Rhymes of alpha conversion
▸ Invented words related to alpha conversion