**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

**Formal Languages**

by

**Keijo Ruohonen**-

**Tampere University of Technology**

In these notes the classical Chomskian formal language theory is fairly fully dealt with, omitting however much of automata constructs and computability issues. Surveys of Lindenmayer system theory and the mathematical theory of codes are given.

(

**4200**views)

**Partial Evaluation and Automatic Program Generation**

by

**Neil D. Jones, Carsten K. Gomard, Peter Sestoft**-

**Prentice Hall**

The book about partial evaluation, a program optimization technique also known as program specialization. It presents principles for constructing partial evaluators for a variety of programming languages, and gives references to the literature.

(

**11713**views)

**Understanding Programming Languages**

by

**Monti Ben-Ari**-

**John Wiley & Sons**

The book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.

(

**11994**views)

**Lecture Notes on Static Analysis**

by

**Michael I. Schwartzbach**-

**IT University of Copenhagen**

These notes present principles and applications of static analysis of programs. We cover type analysis, lattice theory, control flow graphs, dataflow analysis, fixed-point algorithms, narrowing and widening, control flow analysis, pointer analysis.

(

**3311**views)