Next: Notation used to specify
Up: Basic Rules for Lambda
Previous: Basic Rules for Lambda
Contents
Start
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 P. Loczewski
2004-03-05