Found 1 hit - Term: alpha conversion, Database: *, Strategy: prefix
- [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
Results 1 - 10 of 12 found about alpha conversion: 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 Last accessed:2009/01/08 18:13:43 [Total processing time: 1 seconds] |