alpha conversion

Also found in: Wikipedia

0.04 sec.

(theory)

alpha conversion - 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.

?Page tools

Feedback

Mentioned in

Weak Head Normal Form

Encyclopedia browser

Full browser

Alpes-Maritimes
Alph
Alpha
Alpha AXP 21164
alpha blending
Alpha Centauri
alpha channel

alpha conversion
Alpha Crucis
alpha decay
Alpha EV6
Alpha Five
Alpha Four
alpha geek
alpha particle

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content NEW! \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.