Basic Category Theory for Computer Scientists (Foundations of Computing)

Valutazione media 3,58
( su 106 valutazioni fornite da Goodreads )
 
9780262660716: Basic Category Theory for Computer Scientists (Foundations of Computing)

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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Benjamin C. Pierce
Editore: MIT Press Ltd, United States (1991)
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 1991. Paperback. Condizione libro: New. Language: English . Brand New Book. 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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading. Codice libro della libreria AAU9780262660716

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,00
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Benjamin C. Pierce
Editore: MIT Press Ltd, United States (1991)
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 1991. Paperback. Condizione libro: New. Language: English . Brand New Book. 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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading. Codice libro della libreria AAZ9780262660716

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Benjamin C. Pierce
Editore: MIT 1991-09-30 (1991)
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi paperback Quantità: 1
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT 1991-09-30, 1991. paperback. Condizione libro: New. Codice libro della libreria 9780262660716

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 22,26
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,36
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Benjamin C. Pierce
Editore: MIT Press Ltd, United States (1991)
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 1991. Paperback. Condizione libro: New. Language: English . Brand New Book. 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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading. Codice libro della libreria AAU9780262660716

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Benjamin C. Pierce
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Quantità: 2
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97802626607160000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,56
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

6.

Pierce, Benjamin C.
Editore: MIT Press 1991-09-30 (1991)
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Quantità: 2
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press 1991-09-30, 1991. Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-GRD-04730544

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,35
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Benjamin C. Pierce
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Quantità: 2
Da
Speedy Hen LLC
(Sunrise, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Bookseller Inventory # ST0262660717. Codice libro della libreria ST0262660717

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,07
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

8.

Benjamin C. Pierce
Editore: MIT Press Ltd
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Paperback Quantità: 4
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd. Paperback. Condizione libro: new. BRAND NEW, Basic Category Theory for Computer Scientists, Benjamin C. Pierce, 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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading. Codice libro della libreria B9780262660716

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 21,75
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,78
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Pierce, Benjamin C.
Editore: MIT Press Ltd (1991)
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Brossura Prima edizione Quantità: 7
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, 1991. Condizione libro: New. 1991. 1st Edition. Paperback. 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. Series: Foundations of Computing. Num Pages: 116 pages, 60. BIC Classification: PBC; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 228 x 176 x 10. Weight in Grams: 224. . . . . . . Codice libro della libreria V9780262660716

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,57
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Irlanda a: U.S.A.
Destinazione, tempi e costi

10.

Ierce Benjamin
Editore: Mit University Press Group Ltd (1991)
ISBN 10: 0262660717 ISBN 13: 9780262660716
Nuovi Brossura Quantità: 2
Da
Valutazione libreria
[?]

Descrizione libro Mit University Press Group Ltd, 1991. Condizione libro: New. Codice libro della libreria EH9780262660716

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro