next up previous contents index
Next: Rule of Associativity for Up: Rule of Associativity for Previous: Rule of Associativity for   Contents   Start

Example:

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

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz