home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / theory / 1699 < prev    next >
Encoding:
Internet Message Format  |  1992-07-28  |  1.8 KB
  1. Path: sparky!uunet!olivea!decwrl!pa.dec.com!nntpd2.cxo.dec.com!nntpd.lkg.dec.com!trofs.enet.dec.com!e_splett
  2. From: e_splett@trofs.enet.dec.com (Evan Splett)
  3. Newsgroups: comp.theory
  4. Subject: Re: Category Theory for Computer Scientists
  5. Message-ID: <1992Jul28.154243.15586@nntpd.lkg.dec.com>
  6. Date: 28 Jul 92 16:37:30 GMT
  7. References: <711796759.14151@minster.york.ac.uk>
  8. Sender: usenet@nntpd.lkg.dec.com (USENET News System)
  9. Organization: Digital Equipment Corp.
  10. Lines: 51
  11. Organisation: Digital Equipment of Canada - Ottawa
  12.  
  13.  
  14. Here are some references:
  15.  
  16. C.A.R. Hoare,
  17. Notes on an Approach to Category Theory for Computer Scientists;
  18. in: Constructive Methods in Computing Science
  19. NATO ASI Series, Vol. F55
  20. Edited by M. Broy
  21. Springer-Verlag 1989
  22. ISBN 0-387-51369-8 (U.S.)
  23. ISBN 3-540-51369-8
  24.  
  25. R. Goldblatt, 
  26. Topoi: The Categorial Analysis of Logic;
  27. North Holland, Revised Edition, 1969.
  28.  
  29. E.G. Manes and M.A. Arbib,
  30. Algebraic Approaches to Program Semantics;
  31. Springer-Verlag, 1986.
  32.  
  33. Saunders MacLane,
  34. Categories for the Working Mathematician;
  35. Springer-Verlag, 1971.
  36.  
  37. J. Lambek and P.J. Scott,
  38. Introduction to Higher Order Categorical Logic;
  39. Cambridge University Press, 1986.
  40.  
  41. H. Herrlich and G.E. Strecker,
  42. Category Theory, Second Edition,
  43. Helderman Verlag, Berlin 1979.
  44.  
  45. D.E. Rydeheard and R.M. Burstall,
  46. Computational Category Theory.
  47. Prentice-Hall, 1988.
  48.  
  49. Basic Category Theory for Computer Scientists
  50. Benjamin C. Pierce 1991 MIT Press ISBN 0-262-66071-7
  51.  
  52. Benjamin Pierce
  53. "A Taste of Category Theory for Computer Scientists"
  54. CMU-Techreport : CMU-CS-90-113
  55. [ To appear in Computing Surveys ]
  56.  
  57. Category Theory for Computing Science
  58. Michael Barr and Charles Wells
  59. 1990 Prentice Hall ISBN 0-13-120486-6
  60.     
  61. Andrea Asperti and Giuseppe Longo, Categories, Types, and Structures:
  62. An Introduction to Category Theory for the Working Computer Scientist.
  63. MIT Press, 1991.  ISBN 0-262-01125-5.
  64.