Benjamin C. Pierce - Basic Category Theory for Computer Scienti

Schrijver: Benjamin C. Pierce
Titel: Basic Category Theory for Computer Scientists
ISBN: 9780262660716
Taal: Engels
Uitgever: Mit Press
Bijzonderheden: Conditie: Echt gebruikt, Bindwijze: Paperback
Prijs: € 27,85
Verzendkosten: € 3,15 (binnen Nederland)
Meer info:
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
Verder lezen

boekenbalie uit Rotterdam

zakelijk

Logo boekenbalie

Als u op één van onze aanbiedingen klikt dan opent de aanbieding in onze webshop waar u het boek kan bestellen en afrekenen. Het is niet mogelijk boeken af te halen.
- Meer dan 500.000 boeken op voorraad in ons magazijn in Rotterdam.
- Op werkdagen voor 15:00 besteld, dezelfde dag verzonden.
- Stevig verpakt
- Verzendkosten vanaf €3,35. Gratis verzenden vanaf 40 euro of 4 boeken
- We verzenden ook naar België. Zendingen naar België kunnen er enkele dagen over doen.
- Alle boeken zijn met zorg gecontroleerd
Verder lezen

De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.