next up previous contents
Next: Eta Conversion Up: Examples: Previous: Examples:   Contents
New book on A++ and the Lambda Calculus available!

Remark:

The second example demonstrates the necessity of alpha conversion. The lambda bound variable y had to be renamed y0, 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 Loczewski 2003-08-07

Impressum und Datenschutz