alpha conversion

You are here: irt.org | FOLDOC | 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.

(1995-05-10)

Nearby terms: Alpha AXP 21164 « alpha/beta pruning « alphabetic language « alpha conversion » Alpha EV6 » Alpha Geek » alphanumeric

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL