Path: utzoo!attcan!uunet!decwrl!sdd.hp.com!hplabs!otter.hpl.hp.com!otter!dg
From: dg@otter.hpl.hp.com (Dipankar Gupta)
Newsgroups: comp.lang.functional
Subject: Re: System F
Message-ID: <33330001@otter.hpl.hp.com>
Date: 31 Jul 90 03:13:53 GMT
References: <3477@goanna.cs.rmit.oz.au>
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Lines: 28


In article <3960@rex.cs.tulane.edu> fs@rex.cs.tulane.edu (Frank Silbermann) writes:
>
><3477@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au
>Richard A. O'Keefe:
>
[...deleted ...]
>>	I would like to know more about it, Girard's article requires
>>	rather more category theory than I can remember in order to read it.
>>	Is there are much simpler explanation of this stuff anywhere?
>
[...deleted...]
>The ability to abstract out these common properties of domains
>and the functions over them -- well was one of the motivations
>for category theory's development.
>
>I just wish I could understand the stuff.
>
>	Frank Silbermann	fs@rex.cs.tulane.edu
>	Tulane University	New Orleans, Louisianna  USA

Have a look at the book "Computational Category Theory"  by Rod Burstall and
Rydeheard (I think) which is a "computationally-oriented" (whatever that may 
mean!) intro to Cat theory and uses ML to introduce cat theoretical concepts.

//Dipankar
dg@hpl.hplb.hp.com       -- Internet
Dipankar Gupta/HP9801/00 -- HPDesk