Categories in Computer Science and Logic is popular PDF and ePub book, written by John Walker Gray in 1989, it is a fantastic choice for those who relish reading online the Mathematics genre. Let's immerse ourselves in this engaging Mathematics book by exploring the summary and details provided below. Remember, Categories in Computer Science and Logic can be Read Online from any device for your convenience.
Categories in Computer Science and Logic Book PDF Summary
Presents the proceedings of AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic that was held at the University of Colorado in Boulder. This book discusses the use of category theory in formalizing aspects of computer programming and program design.
Detail Book of Categories in Computer Science and Logic PDF
- Author : John Walker Gray
- Release : 20 September 1989
- Publisher : American Mathematical Soc.
- ISBN : 9780821851005
- Genre : Mathematics
- Total Page : 394 pages
- Language : English
- PDF File Size : 16,7 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Categories in Computer Science and Logic by John Walker Gray, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.