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:

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