next up previous contents
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!

Notation used in Conversion Rules

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