0%

alpha conversion

A a

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of alpha conversion words

  • noun Technical meaning of alpha conversion (theory)   In lambda-calculus and reduction, the renaming of a formal parameter in a lambda abstraction. This does not change the meaning of the abstraction. For example: \ x . x+1 <--> \ y . y+1 If the actual argument to a lambda abstraction contains instances of the abstraction's formal parameter then it is necessary to rename the parameter before applying the abstraction to avoid name capture. 1
Just one definition for alpha conversion

Information block about the term

Parts of speech for Alpha conversion

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Alpha conversion

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?