Article View: sci.logic
Article #477Re: info on category theory and type theory
From: Andreas Mueck
Date: Fri, 14 Jun 1991 06:07
Date: Fri, 14 Jun 1991 06:07
18 lines
1305 bytes
1305 bytes
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
Technical Details
Message-ID:
<1991Jun14.060714.21827@forwiss.uni-passau.de>Path:
arc1-ca.pugleaf.net!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!mueckReferences:
<1991Jun12.173237.4944@informatik.uni-ulm.de>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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