next up previous contents index
Next: Eta Conversion Up: -Abstraction Previous: Examples:   Contents   Start

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