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.
| < Previous Terms | Terms Containing alpha conversion | Next Terms > |
| ALPAK ALPHA Alpha Alpha AXP 21164 alpha/beta pruning | De Bruijn notation name capture reduction Weak Head Normal Form | Alpha EV6 Alpha Geek alphanumeric alpha particle Alphard |
