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日
Impressum und Datenschutz

AltStyle によって変換されたページ (->オリジナル) /