Remark:

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

Impressum und Datenschutz