| Record ID | ia:categoriestypess0000aspe |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/categoriestypess0000aspe/categoriestypess0000aspe_marc.xml |
| Download MARC binary | https://www.archive.org/download/categoriestypess0000aspe/categoriestypess0000aspe_meta.mrc |
LEADER: 00934cam 2200265 a 4500
001 0116402153112
008 891116s1991 maua b 00100 eng u
010 $a 89049085
020 $a0262011255
035 $a(Sirsi) ABJ-8981
035 $aA901458$fcc
040 $aOPET$beng
050 00 $aQA76.7$b.A76 1991
082 00 $a005.13
090 $aQA 76.7 .A775 1991$bb
100 1 $aAsperti, Andrea.
245 10 $aCategories, types, and structures :$ban introduction to category theory for the working computer scientist /$cAndrea Asperti, Giuseppe Longo.
260 $aCambridge, Mass. :$bMIT Press,$cc1991.
300 $axi, 306 p. :$bill. ;$c24 cm.
490 1 $aFoundations of computing
504 $aIncludes bibliographical references (p. [289]-299) and index.
650 0 $aCategories (Mathematics)
650 0 $aProgramming languages (Electronic computers)
700 10 $aLongo, G.$q(Giuseppe)
830 0 $aFoundations of computing.