next up previous contents
Next: Y Combinator Up: Rules of Associativity Previous: Example:   Contents
New book on A++ and the Lambda Calculus available!

Example for both rules:

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



Georg Loczewski 2003-08-07

Impressum und Datenschutz