| Record ID | ia:categoriestypess00aspe_0 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/categoriestypess00aspe_0/categoriestypess00aspe_0_marc.xml |
| Download MARC binary | https://www.archive.org/download/categoriestypess00aspe_0/categoriestypess00aspe_0_meta.mrc |
LEADER: 03528cam 2200865 a 4500
001 ocm20755899
003 OCoLC
005 20170717124826.0
008 891116s1991 maua b 001 0 eng
010 $a 89049085
040 $aDLC$beng$cDLC$dUKM$dEL$$dMUQ$dNLGGC$dBTCTA$dYDXCP$dOCLCG$dZWZ$dHEBIS$dDEBBG$dOCL$dOCLCQ$dGBVCP$dOCLCO$dOCLCF$dOCLCQ
015 $aGB9305950$2bnb
016 7 $a026-20112$2Uk
019 $a27685788$a980361963
020 $a0262011255
020 $a9780262011259
035 $a(OCoLC)20755899$z(OCoLC)27685788$z(OCoLC)980361963
050 00 $aQA76.7$b.A76 1991
082 00 $a005.13$220
084 $a31.27$2bcl
084 $aDAT 455f$2stub
084 $aMAT 180f$2stub
084 $aSK 320$2rvk
084 $a*18-01$2msc
084 $a03B40$2msc
084 $a54.10$2bcl
084 $a68Q55$2msc
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,$c℗♭1991.
300 $axi, 306 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aFoundations of computing
504 $aIncludes bibliographical references (pages 289-299) and index.
650 0 $aProgramming languages (Electronic computers)
650 0 $aCategories (Mathematics)
650 4 $aCategori as (Matema ticas)
650 4 $ase mantique langage programmation.
650 4 $astructure.
650 4 $acate gorie.
650 4 $atype.
650 4 $alangage programmation.
650 4 $athe orie cate gorie.
650 6 $aCate gories (Mathe matiques)
650 6 $aLangages de programmation.
650 7 $aCategories (Mathematics)$2fast$0(OCoLC)fst00849000
650 7 $aProgramming languages (Electronic computers)$2fast$0(OCoLC)fst01078704
650 17 $aCategoriee n (wiskunde)$2gtt
650 07 $aDatenstruktur.$0(DE-588)4011146-5$2gnd
650 07 $aKategorie (Mathematik)$0(DE-588)4129930-9$2gnd
650 07 $aKategorientheorie.$0(DE-588)4120552-2$2gnd
650 7 $aLangages de programmation.$2ram
650 7 $aCate gories (mathe matiques)$2ram
650 07 $aKategorientheorie.$2swd
650 07 $aProgrammiersprache.$2swd
653 0 $aProgramming
700 1 $aLongo, G.$q(Giuseppe)
776 08 $iOnline version:$aAsperti, Andrea.$tCategories, types, and structures.$dCambridge, Mass. : MIT Press, ℗♭1991$w(OCoLC)551359086
830 0 $aFoundations of computing.
856 41 $3Table of contents$uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=003663439&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
856 41 $3Table of contents$uhttp://www.gbv.de/dms/hbz/toc/ht003898866.PDF
856 41 $3Table of contents$uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003663439&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
856 42 $uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0783.18001$3Inhaltstext
938 $aBaker and Taylor$bBTCP$n89049085
938 $aYBP Library Services$bYANK$n146166
029 1 $aAU@$b000006851491
029 1 $aDEBBG$bBV005849907
029 1 $aGBVCP$b016057775
029 1 $aHEBIS$b19082753X
029 1 $aNZ1$b4292259
029 1 $aZWZ$b021351961
994 $aZ0$bPMR
948 $hNO HOLDINGS IN PMR - 324 OTHER HOLDINGS