Artículos relacionados a Basic Category Theory for Computer Scientists (Foundations...
Sinopsis
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.
Acerca del autor
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.
Resultados de la búsqueda para Basic Category Theory for Computer Scientists (Foundations...
Imagen de archivo
Basic Category Theory for Computer Scientists
Publicado por
MIT Press Ltd, 1991
ISBN 10: 0262660717
ISBN 13: 9780262660716
Antiguo o usado
Paperback
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. 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. ContentsTutorial . Applications . Further Reading. Nº de ref. del artículo: 00108485099
Comprar usado
EUR 20,49
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Basic Category Theory for Computer Scientists (Foundations of Computing)
Publicado por
The MIT Press (edition ), 1991
ISBN 10: 0262660717
ISBN 13: 9780262660716
Antiguo o usado
Paperback
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Nº de ref. del artículo: 0262660717-11-1
Comprar usado
EUR 21,95
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Basic Category Theory for Computer Scientists
Publicado por
MIT Press Ltd, 1991
ISBN 10: 0262660717
ISBN 13: 9780262660716
Antiguo o usado
Paperback
Librería: World of Books Inc, Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Good. 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. ContentsTutorial . Applications . Further Reading. Nº de ref. del artículo: CIN0262660717G
Comprar usado
EUR 22,32
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Basic Category Theory for Computer Scientists (Foundations of Computing)
Publicado por
The MIT Press, 1991
ISBN 10: 0262660717
ISBN 13: 9780262660716
Antiguo o usado
Tapa blanda
Librería: Bay State Book Company, North Smithfield, RI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Nº de ref. del artículo: BSM.1FGLM
Comprar usado
EUR 22,57
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Basic Category Theory for Computer Scientists (Foundations of Computing)
Publicado por
The MIT Press, 1991
ISBN 10: 0262660717
ISBN 13: 9780262660716
Antiguo o usado
Tapa blanda
Librería: 2nd Life Books, Burlington, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: very_good. Fast Free Shipping â" Very Good condition book with a firm cover and clean pages. Shows normal use and some light wear or limited notes markings. A solid, nice copy to enjoy. Nº de ref. del artículo: BXM.D92Q
Comprar usado
EUR 19,54
Envío por EUR 3,56
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Basic Category Theory for Computer Scientists
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0262660717I3N00
Comprar usado
EUR 24,19
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Basic Category Theory for Computer Scientists
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0262660717I3N10
Comprar usado
EUR 24,19
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Basic Category Theory for Computer Scientists
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0262660717I3N00
Comprar usado
EUR 24,19
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Basic Category Theory for Computer Scientists
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0262660717I3N10
Comprar usado
EUR 24,19
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Basic Category Theory for Computer Scientists
Publicado por
MIT Press, 1991
ISBN 10: 0262660717
ISBN 13: 9780262660716
Antiguo o usado
Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 50629337-6
Comprar usado
EUR 24,47
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles