next up previous contents
Next: -Reduction Up: Basic Rules of Lambda Previous: Remark:   Contents
New book on A++ and the Lambda Calculus available!

Eta Conversion

Like beta conversion-conversion eta conversion-conversion can be performed from left to right and from right to left and is therefore subdivided in

Eta Conversion


Subsections

Georg Loczewski 2003-08-07