[Prev][Next][Index][Thread]
Lectures on the Curry-Howard Isomorphism
-
To: types@cis.upenn.edu
-
Subject: Lectures on the Curry-Howard Isomorphism
-
From: Morten Heine S|rensen <rambo@diku.dk>
-
Date: Thu, 17 Sep 1998 16:01:27 +0200 (METDST)
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.
---------------------------------------------------------