next up previous contents index
Next: Notation used to specify Up: Basic Rules for Lambda Previous: Basic Rules for Lambda   Contents   Index


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

domain access counter Georg P. Loczewski 2004-03-05