Path: utzoo!attcan!uunet!samsung!rex!ames!ucsd!ogicse!dwights
From: dwights@ogicse.ogc.edu (Dwight Spencer)
Newsgroups: comp.theory
Subject: Categorical Combinators
Message-ID: <6649@ogicse.ogc.edu>
Date: 13 Jan 90 18:25:49 GMT
Reply-To: dwights@ogicse.UUCP (Dwight Spencer)
Distribution: na
Organization: Oregon Graduate Institute (formerly OGC), Beaverton, OR
Lines: 16

I have been working carefully through Curien's '86 book on categorical
combinators. This is supposedly a mild improvement of his '83 thesis, but
nevertheless the presentation remains dense and suffers from being a fairly
direct translation from the original French.

Thus I ask whether a tutorial paper or lecture notes on this subject
exist that would serve as a helpful supplement to this book.

Please reply be e-mail. Thanks for any assistance.

- Dwight
-- 
Dwight L. Spencer _________ Oregon Graduate Institute of Science and Technology
Dept. of Computer Science & Engineering ____ Beaverton, Oregon, USA, 97006-1999
E-mail: dwights@csi.ogc.edu / ...!ogicse!dwights __ Phone: (503) 690-1121 x7369
OGI => THIRD-most research-productive applied science university in the U.S.!!!