alpha conversion

[bluemoon24]

* 1.alpha conversionin 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:

English Related Words* address conversion

* alpha

* alpha and omega

* alpha axp 21164

* alpha bearing waste

* alpha beta brass

* alpha blending

* alpha blocker

* alpha brass

* alpha bronze

* alpha canis majoris

* alpha cell

* alpha cellulose

* alpha celluloze

* alpha centauri