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

Example:

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

domain access counter Georg P. Loczewski 2004-03-05