Notes on Simply Typed Lambda Calculus

Ralph Loader


These notes provide an introduction to lambda-calculi, specifically the simply typed lambda calculus. The first half of the notes gives a fairly thorough introduction to fairly traditional and fundamental results about lambda-calculi. The second half gives a detailed, quantitative analysis of the simply typed lambda calculus.


This report is available in the following formats:

Previous | Index | Next