Welcome to the Lambda Calculus section of Safalra’s Website. This section of the website contains a brief tutorial on lambda calculus and what can be accomplished using it. For a detailed coverage, I recommend the definitive book on lambda calculus, The Lambda Calculus: Its Syntax And Semantics:

- The Lambda Calculus: Its Syntax And Semantics at Amazon.com
- The Lambda Calculus: Its Syntax And Semantics at Amazon.co.uk (for British readers)

This section of Safalra’s Website contains the following pages: