** 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