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
(define anton (lambda (x y) x)) ; (define berta anton) ; (define charly (anton a b))
Subsections
Examples of syntax of abstraction 2nd alternative in 2.2
Examples of syntax of reference 2.3
Examples of syntax of synthesis 2.4
Georg Loczewski 2003-08-07
Impressum und Datenschutz
