Comments:

301 pages, 12 chapters, PDF file by listed ftp , MIT Press , 1991

Abstract:

An introductory to advanced level textbook on the applications of the theory of categories to logic and computer science. Very clearly and simply written at least in the beginning part of the book, Chapters 1 through 7 (Part I). Part II is mostly on Categorical Logic and Computer Science applications of Category theory and Categorical Logic. The last section contains a presentation on PL-categories and their Grothendieck Completion, with some obvious misprints. From the book's Introduction: "The impact on functional programming, for example, of the mathematical tools described in part II, is well known, as it ranges from the early dialects of Lisp, to Edinburgh ML, to the current work in polymorphisms and modularity. Recent applications, such as CAML, which will be described, use categorical formalization for the purposes of implementation".

Rights:

Copyright statement :"All the books listed in this site are freely available, as they are hosted on websites that belong to the authors or the publishers. Please also note that each author and publisher has their own terms and conditions in the forms of free / open documentation licenses, public domain or other specific ones. You are allowed to view, download and with a very few exceptions, print the books for your own private use at no charge. " Free PDF download with reserved rights as specified at: http://www.freetechbooks.com/practical-foundations-of-mathematics-t359.html ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf

Links:

No messages.