next up previous contents index
Next: Y-Combinator Up: Rules of Associativity Previous: Example:   Contents   Index

Example for both rules:

$ \lambda x . \lambda y . ((x y) z)$
is equivalent to
$ \lambda xy.xyz$.



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