Lectures on the Curry-Howard Isomorphism

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
(jeanette@diku.dk). You can get an electronic version at URL
http://www.diku.dk/users/rambo/publications.html (look
for "Lectures on the Curry-Howard isomorphism").

Criticism and comments are very welcome (direct these to rambo@diku.dk).

Pawel and Morten.