Introduction to Lambda Calculus

Quote:

> I am looking for a thorough introduction to

> lambda calculus available online (as .ps or .pdf).

I quote from an announcement. I've started reading that report, and found

it good for an introduction to lambda-calculus, although its main focus

is the Curry-Howard isomorphism. It's the material of a Ph.D. course, BTW.

The article by Barendregt in the Handbook of Theoretical Computer Science is

also worth reading.

- Gergely

=============================================================

Date: Thu, 17 Sep 1998 16:01:27 +0200 (METDST)

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

We would like to announce the availability of the report

Morten Heine B. Sorensen, Pawel Urzyczyn:

Lectures on the Curry-Howard Isomorphism.

DIKU report 98/14.

The report contains an introduction to the Curry-Howard Isomorphism

including chapters on untyped and typed lambda-calculi as well as

chapters on formal logics and their semantics, e.g. Heyting algebras

and Kripke models.

Hard copies can be acquired by writing to Jeanette Kvaerndrup

http://www.diku.dk/users/rambo/publications.html (look

for "Lectures on the Curry-Howard isomorphism").

Pawel and Morten.

---------------------------------------------------------