Basic category theory for computer scientists pdf free download
Par richards greg le dimanche, janvier 13 2013, 12:37 - Lien permanent
Basic category theory for computer scientists by Benjamin C. Pierce
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