Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!ut-emx!lad-shrike!reich
From: reich@AUSTIN.LOCKHEED.COM (Al Reich)
Newsgroups: comp.lang.functional
Subject: Re: System F
Summary: A kinder gentler reference on category theory
Message-ID: <349@titmouse.AUSTIN.LOCKHEED.COM>
Date: 3 Aug 90 17:42:18 GMT
References: <3477@goanna.cs.rmit.oz.au>
Organization: Lockheed Austin Div.
Lines: 16


I don't know if there's a simpler explanation of second order
typed lambda calculus, but I do know of one for category theory:

   "A Taste of Category Theory for Computer Scientists"
   by Benjamin C. Pierce
   CMU-CS-88-203
   Computer Science Dept., Carnegie Mellon Univ.,
   Pittsburgh, PA 15213

It includes a tutorial, case studies, a literature survey, and
some typographical errors (which aren't hard to find if you read
carefully).

Al Reich
Lockheed - Austin Division