next up previous contents index
Next: Basic Rules for Lambda Up: The Lambda Calculus Previous: Literature   Contents   Index

Syntax of Lambda Expressions

The syntax of lambda expressions is defined as follows:
{\sc Definition 2 (Syntax of a Lambda Expression)} \\
...item $t = (M N)$\ where $M$\ and $N$\ are lambda expressions.
\end{itemize} }
The Lambda Calculus therefore includes three diffenrent types of lambda expressions:


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

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