[1] : The Free On-line Dictionary of Computing (27 SEP 03)

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.
     
        1995-05-10
     
     
see also:
lambda-calculus reduction formal parameter lambda abstraction actual argument name capture 

Conversion >> C Words
Conversion, definition of term: Conversion
conversion_pag1.html

Alpha >> A Words
Alpha, definition of term: Alpha
alpha_pag1.html

Alpha Wave >> A Words
Alpha Wave, definition of term: Alpha Wave
alpha+wave_pag1.html

Conversion Diso >> C Words
Conversion Diso, definition of term: Conversion Diso
conversion+diso_pag1.html

Conversion Hyst >> C Words
Conversion Hyst, definition of term: Conversion Hyst
conversion+hyst_pag1.html

Alpha Test >> A Words
Alpha Test, definition of term: Alpha Test
alpha+test_pag1.html

Alpha Radiation >> A Words
Alpha Radiation, definition of term: Alpha Radiation
alpha+radiation_pag1.html

Alpha Particle >> A Words
Alpha Particle, definition of term: Alpha Particle
alpha+particle_pag1.html

Alpha Centauri >> A Words
Alpha Centauri, definition of term: Alpha Centauri
alpha+centauri_pag1.html

Alpha Geek >> A Words
Alpha Geek, definition of term: Alpha Geek
alpha+geek_pag1.html

Page 1 2 Next