home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!mcsun!uknet!warwick!cam-cl!cl.cam.ac.uk!ag129
- From: ag129@cl.cam.ac.uk (Alasdair Grant)
- Newsgroups: comp.theory
- Subject: Re: Category Theory for Computer Scientists
- Message-ID: <1992Jul27.190936.9405@cl.cam.ac.uk>
- Date: 27 Jul 92 19:09:36 GMT
- References: <711796759.14151@minster.york.ac.uk> <1992Jul23.165456.799@morrow.stanford.edu>
- Sender: news@cl.cam.ac.uk (The news facility)
- Reply-To: ag129@cl.cam.ac.uk (Alasdair Grant)
- Organization: U of Cambridge Comp Lab, UK
- Lines: 11
-
- In article <1992Jul23.165456.799@morrow.stanford.edu> minch@lotka.stanford.edu (Eric Minch) writes:
- >In article <711796759.14151@minster.york.ac.uk> jq@minster.york.ac.uk
- >writes:
- >> As is the way, when this was discussed here a few months ago I had no
- >need for
- >> it, but now I do. ;wq
- >Are you looking for D.E. Rydeheard and R.M. Burstall's (1988)
- >Computational Category Theory (Prentice-Hall)?
-
- More likely to be "Category Theory for Computing Science" by Barr and
- Wells, also Prentice-Hall (>=1990). It is readily available.
-