next up previous contents
Next: Rule of Associativity for Up: Rule of Associativity for Previous: Rule of Associativity for   Contents
New book on A++ and the Lambda Calculus available!

Example:

The expression
lambda x . lambda y . lambda z . M
can be rewritten as:
lambda x y z . M


Georg Loczewski 2003-08-07