Notes on Simply Typed Lambda Calculus
Ralph LoaderAbstract:
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.
ECS-LFCS-98-381.This report is available in the following formats:
- PDF file
- Gzipped PDF file
- PostScript file
- Gzipped PostScript file
- PostScript file with Type 1 fonts
- Gzipped PostScript file with Type 1 fonts
- LaTeX DVI file
- Gzipped LaTeX DVI file