next up previous contents index
Next: Syntax of Lambda Expressions Up: Introduction Previous: Definition   Contents   Start


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

Impressum und Datenschutz