home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / theory / 1694 < prev    next >
Encoding:
Internet Message Format  |  1992-07-27  |  1.0 KB

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