Next: -Reduction
Up: Basic Rules for Lambda
Previous: Remark:
Contents
Start
Eta Conversion
Like -conversion -conversion can be
performed from left to right and from right to left
and is therefore subdivided in
- -reduction and
- -abstraction
Subsections
Georg P. Loczewski
2004-03-05