Xref: utzoo sci.logic:1345 comp.theory:2108
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!uunet!mcsun!hp4nl!alchemy!raymond
From: raymond@cs.ruu.nl (Raymond Hoofman)
Newsgroups: sci.logic,comp.theory
Subject: Re: info on category theory and type theory
Message-ID: <1991Jun13.073539.12687@cs.ruu.nl>
Date: 13 Jun 91 07:35:39 GMT
References: <1991Jun12.173237.4944@informatik.uni-ulm.de>
Organization: Utrecht University, Dept. of Computer Science
Lines: 18

In <1991Jun12.173237.4944@informatik.uni-ulm.de> ruess@theorie.informatik.uni-ulm.de (Harald Ruess) writes:

>Are there any good introductory books, reports, lecture
>notes etc. out there relating category theory with
>type theory. Once more, I'm looking for introductory
>but non-trivial material.

I would recommend the following book:

J. Lambek and P.J. Scott
"Introduction to higher order categorical logic"
Cambridge studies in advanced mathematics 7
Cambridge University press 1988
-- 
----------------------------------------------------------------------------
| Raymond Hoofman       |            "Love without pain is like            |
| raymond@cs.ruu.nl     |             pain without love."                  |
----------------------------------------------------------------------------