next up previous contents
Next: Basic Rules of Lambda Up: Lambda Calculus and A++ Previous: Contents   Contents
New book on A++ and the Lambda Calculus available!

Syntax of Lambda Expressions

The syntax of lambda expressions is defined as follows:
Syntax of a Lambda Expression
The Lambda Calculus therefore includes three diffenrent types of lambda expressions:

Remark:

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

On the basis of the syntax for lambda expressions and a few conversion rules a primitive programming language can be developed in a few steps.
This primitive programming language would contain



Georg Loczewski 2003-08-07

Impressum und Datenschutz