Lambda Calculus

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:

• Introduction To Lambda Calculus

  An informal introduction to lambda calculus

• Formal Description Of Lambda Calculus

  A formal introduction to lambda calculus

• Recursion In Lambda Calculus

  How to achieve recursion in lambda calculus

• Boolean Logic In Lambda Calculus

  How to achieve boolean logic in lambda calculus

• Integer Arithmetic In Lambda Calculus

  How to perform integer arithmetic in lambda calculus

• Tuples And Lists In Lambda Calculus

  How to implement tuples and lists in lambda calculus

• Partial Recursive Functions In Lambda Calculus

  How to represent partial recursive functions in lambda calculus