Basic category theory for computer scientists by Benjamin C. Pierce

Basic category theory for computer scientists



Download Basic category theory for computer scientists




Basic category theory for computer scientists Benjamin C. Pierce
Language: English
Page: 110
Format: djvu
ISBN: 0262660717, 9780262660716
Publisher: The MIT Press

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Contents: Tutorial. Applications. Further Reading.

About the Author

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

MORE EBOOKS:
Download Cooking With Seitan e book







Tags: Basic category theory for computer scientists ebook pdf epub djvu mobi rar
Basic category theory for computer scientists pdf epub djvu free download
Download Basic category theory for computer scientists free ebook pdf epub
Basic category theory for computer scientists read online free book
Basic category theory for computer scientists cheap ebook for kindle and nook
Benjamin C. Pierce ebooks and audio books
Basic category theory for computer scientists download pdf epub rar rapidshare mediafire fileserve 4shared torrent depositfiles scribd