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.
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
"Sinopsis" puede pertenecer a otra edición de este libro.
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 6,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoEUR 5,14 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoLibrería: medimops, Berlin, Alemania
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Nº de ref. del artículo: M00262660717-G
Cantidad disponible: 1 disponibles
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Condición: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 8180258-6
Cantidad disponible: 1 disponibles
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Condición: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 50629337-6
Cantidad disponible: 1 disponibles
Librería: AwesomeBooks, Wallingford, Reino Unido
Paperback. Condición: Very Good. Basic Category Theory for Computer Scientists (Foundations of Computing) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Nº de ref. del artículo: 7719-9780262660716
Cantidad disponible: 1 disponibles
Librería: Bahamut Media, Reading, Reino Unido
Paperback. Condición: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Nº de ref. del artículo: 6545-9780262660716
Cantidad disponible: 1 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9780262660716_new
Cantidad disponible: Más de 20 disponibles
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780262660716
Cantidad disponible: Más de 20 disponibles
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780262660716
Cantidad disponible: Más de 20 disponibles
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Paperback or Softback. Condición: New. Basic Category Theory for Computer Scientists 0.49. Book. Nº de ref. del artículo: BBS-9780262660716
Cantidad disponible: 5 disponibles
Librería: Rarewaves.com UK, London, Reino Unido
Paperback. Condición: New. Nº de ref. del artículo: LU-9780262660716
Cantidad disponible: Más de 20 disponibles