Xref: utzoo sci.logic:1348 comp.theory:2116
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!caen!ox.com!math.fu-berlin.de!mailgzrz!opal!fauern!forwiss.uni-passau.de!unipas!mueck
From: mueck@unipas.fmi.uni-passau.de (Andreas Mueck)
Newsgroups: sci.logic,comp.theory
Subject: Re: info on category theory and type theory
Message-ID: <1991Jun14.060714.21827@forwiss.uni-passau.de>
Date: 14 Jun 91 06:07:14 GMT
References: <1991Jun12.173237.4944@informatik.uni-ulm.de>
Sender: usenet@forwiss.uni-passau.de (USENET News System)
Organization: University of Passau, Germany
Lines: 18
Nntp-Posting-Host: unipas.fmi.uni-passau.de

In article <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.
>
>Harald Ruess

On type theory I can recommend you the book "Proofs and Types" from Girard J.Y.,
Taylor P. and Lafont Y (Cambridge Tracts in Theoretical Computer Science).

   ..... andy mueck
         mueck@unipas.fmi.uni-passau.de
         p.o. box 2540
         d-8390 passau
             frg
         phone: ++49 851 509 353
         fax:   ++49 851 509 497