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

Definition of A++ in EBNF-Notation


expression ::= abstraction (1)
    reference  
    synthesis  
abstraction ::= define (2)
    lambda  
    expression  
reference ::= variable (3)
synthesis ::= expression (4)
variable ::= symbol (5)



Subsections

Georg Loczewski 2003-08-07