000 | 02758nam a2200505 i 4500 | ||
---|---|---|---|
001 | 6267469 | ||
003 | IEEE | ||
005 | 20220712204714.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151223s1991 mau ob 001 eng d | ||
010 | _z 91008489 (print) | ||
020 | _a0262660717 | ||
020 |
_a9780262288460 _qelectronic |
||
020 |
_z9780262660716 _qprint |
||
035 | _a(CaBNVSL)mat06267469 | ||
035 | _a(IDAMS)0b000064818b44a9 | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQA76.9.M35 _bP54 1991eb |
|
082 | 0 | 0 |
_a511.3 _220 |
100 | 1 |
_aPierce, Benjamin C., _eauthor. _922968 |
|
245 | 1 | 0 |
_aBasic category theory for computer scientists / _cBenjamin C. Pierce. |
264 | 1 |
_aCambridge, Massachusetts : _bMIT Press, _cc1991. |
|
264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1991] |
|
300 | _a1 PDF (xiii, 100 pages). | ||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 | _aFoundations of computing | |
504 | _aIncludes bibliographical references (p. 81-91) and index. | ||
506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
520 | _aCategory 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. | ||
530 | _aAlso available in print. | ||
538 | _aMode of access: World Wide Web | ||
588 | _aDescription based on PDF viewed 12/23/2015. | ||
650 | 0 |
_aComputer science _xMathematics. _93866 |
|
650 | 0 |
_aCategories (Mathematics) _920948 |
|
655 | 0 |
_aElectronic books. _93294 |
|
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _922969 |
|
710 | 2 |
_aMIT Press, _epublisher. _922970 |
|
776 | 0 | 8 |
_iPrint version _z9780262660716 |
830 | 0 |
_aFoundations of computing _922604 |
|
856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469 |
942 | _cEBK | ||
999 |
_c73123 _d73123 |