alpha conversion

From Wiktionary, the free dictionary
Jump to navigation Jump to search



alpha conversion (countable and uncountable, plural alpha conversions)

  1. (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 and it is desired to have x replaced with y, then the rewritten lambda term would have the form where , "t with y instead of x", has had all free instances of x in t replaced with y.

Coordinate terms[edit]