Alpha conversion



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.
(1995-05-10)

Tagged:

Read Also:

  • Alpha decay

    a radioactive process in which an alpha particle is emitted from the nucleus of an atom, decreasing its atomic number by two. noun the radioactive decay process resulting in emission of alpha particles alpha decay The radioactive decay of an atomic nucleus by emission of an alpha particle (two protons bound to two neutrons). When […]

  • Alpha emitter

    noun a radioactive isotope that emits alpha particles Historical Examples One such reaction uses alpha particles emitted by polonium-210 (or some other alpha emitter) to bombard the element beryllium. The Atomic Fingerprint Bernard Keisch



  • Alpha ev6

    alpha ev6 EV6

  • Alpha female

    noun the dominant female animal in a pack Examples The pack deferred to the alpha female. See alpha girl Word Origin fr alpha male Contemporary Examples ReasonTV interviews Kay Hymowitz about why the “alpha female” does not exist on a large scale in America. The Alpha Female’s Dilemma Ilana Glazer February 4, 2013 Most packs […]



Disclaimer: Alpha conversion definition / meaning 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. All content on this website is for informational purposes only.