** Next:** Notation used to specify
** Up:** Basic Rules of Lambda
** Previous:** Basic Rules of Lambda
** Contents**

New book on A++ and the Lambda Calculus available!

The notation used to specify a conversion of a lambda expression and
associated with it substitutions to be performed varies from textbook to textbook.
In `Programmierung pur' we adopted the notation used by Chazarain
in [Cha96]. For greater clarity and flexibility
we prefer to use the following notation here:

**Subsections**

Georg Loczewski
2003-08-07