# Alpha conversion

### From HaskellWiki

(Difference between revisions)

(Can somebody word this better?) |
BrettGiles (Talk | contribs) (My 2 cents on wording.) |

## Revision as of 22:15, 29 January 2007

An *alpha conversion* (also written *α conversion*) is a renaming variables.

For example, suppose we have an expression such as

\x y -> 2*x*x + y

and we change this to

\a b -> 2*a*a + b

This is clearly the same function, even though it uses different variable names. This process of renaming variables is *alpha conversion*.

*name capture*. For example, if we rename

x

y

\x -> x + y

\y -> y + y

Also see Lambda calculus and the wikipedia lambda calculus article.