How to pronounce “alpha conversion”

Meaning

• [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
• )
• {\displaystyle (\lambda 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
• ]
• )
• {\displaystyle (\lambda y.t[y/x])}
• where
• t
• [
• y
• /
• x
• ]
• {\displaystyle t[y/x]}
• , "t with y instead of x", has had all free instances of x in t replaced with y.

Practice Nearby Words

eta conversion, lambda abstraction, beta reduction, application, lambda calculus, lambda term, lambda, rewrite, church encoding, transformation, conversion, anticommutator, algebrization, lambda expression, combinator, precomposition, anticommutation, affinization, algebraization, abelian algebra, skolemisation, rewriting, free variable, herbrandization, affinisation, applicand, skolemization, de bruijn index, equivariantization, back substitution, supertranslation, oddification, abelianization, equate, cross term, transform, lambda function, de bruijn notation, bound variable, variable, α-cut, boolean algebra, abbreviation, tetration, operator, orthocomplementation, metabelianization, linear operator, coherentization, transformational rule, alternativity, complex conjugation, alternative algebra, binomial theorem, unit, autotransformation, conjugation, skolemnization, left identity, associator, subject, like terms, cross multiplication, conjugator, unary operation, axiomatisation, jordan algebra, covariantisation, binarization, axiomatization, comultiplication, eigenvalue, u-substitution, slack variable, polymorphism, axiom scheme, system f, partial function application, gentzenization, axiom schema, affected equation, convolution, interpretation, closed formula, polytype, complex conjugate, concomitant, subexpression, propositional constant, covariant, chain rule, composition algebra, associativity, infix notation, formula, conjugate, subpower, reduction, all-operator, herbrand function

Similar Sounds

data conversion, self-governing, buccaneering, sloganeering, self governing, suffocation, self-concern, self assertion, salination, safranin