**variables**(referencing lambda expressions)**lambda abstractions**(defining functions)**applications**(invoking functions)

**Remark:**

The parentheses in the syntax of an application are not mandatory. This results from the law of associativity for applications introduced below.

Georg P. Loczewski 2004-03-05