next up previous contents
Next: Examples of syntax of Up: Definition of A++ as Previous: Commenting the definition:   Contents
New book on A++ and the Lambda Calculus available!

Examples of syntax of abstraction 1st alternative in 2.2


syntax of abstraction



Subsections

Georg Loczewski 2003-08-07