Home
 

Notes on Simply Typed Lambda Calculus

Ralph Loader

Abstract:

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:

Previous | Index | Next