** Next:** Syntax of Lambda Expressions
** Up:** Introduction
** Previous:** Definition
** Contents**
** Index**

As a *mathematical logical system* the Lambda Calculus is covered
in detail in [Bar81] and less comprehensively
but in a more readable form in [Sto81]. A clear
account of the historical origins and basic properties of the
lambda calculus is presented by Curry and Fey in their book
[CF58]. This view is taken from
[Jon87] page 23.
From the programmer's point of view the Lambda Calculus is
adressed in [Jon87], [Kam90], [Cha96].

Georg P. Loczewski
2004-03-05