Remark:

The second example demonstrates the necessity of alpha conversion. The lambda bound variable $y$ had to be renamed $y_0$, to prevent capturing of the free $y$ (resulting from the substitution of $x$ by $y$ in the body of the first lambda absstraction) by the second lambda.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz