alpha conversion

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

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

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.