**Lecture Notes on the Lambda Calculus**

by Peter Selinger

**Publisher**: Dalhousie University 2007**Number of pages**: 106

**Description**:

Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, denotational semantics, complete partial orders, and the language PCF.

Download or read it online for free here:

**Download link**

(460KB, PDF)

## Similar books

**Practical Foundations for Programming Languages**

by

**Robert Harper**

This is a book on the foundations of programming languages. The emphasis is on the concept of type, which organizes the computational universe in the same way that the concept of set may be seen as an organizing principle for mathematics.

(

**10854**views)

**Semantics of Programming Languages**

by

**Andrew M. Pitts**-

**University of Cambridge**

These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.

(

**3068**views)

**Lectures on the Curry-Howard Isomorphism**

by

**Morten Heine B. Sorensen, Pawel Urzyczyn**-

**Elsevier Science**

This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.

(

**5860**views)

**Formal Language Theory for Natural Language Processing**

by

**Shuly Wintner**-

**ESSLLI**

This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.

(

**5482**views)