Next: -Reduction
Up: Basic Rules of Lambda
Previous: Remark:
Contents
New book on A++ and the Lambda Calculus available!
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 Loczewski
2003-08-07
