LEADER 01036nam0-22003251i-450-
001 990001113660403321
010   $a0-262-01125-5
035   $a000111366
035   $aFED01000111366
035   $a(Aleph)000111366FED01
035   $a000111366
100   $a20000920d1991----km-y0itay50------ba
101 0 $aeng
200 1 $aCategories, Types, and Structures$eAn Introduction to Category Theory for the Working Computer Scientist$fAndrea Asperti, Giuseppe Longo
210   $aCambridge [Mass.] [etc.]$cThe MIT Press$d1991
225 1 $aFoundations of Computing
300   $aIncludes bibliographical references
610 0 $aTeoria della programmazione e utilizzazione dei computers
610 0 $aSoftware
676   $a510.78
700  1$aAsperti,$bAndrea$053304
702  1$aLongo,$bGiuseppe
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001113660403321
952   $a8B-285$b18958$fFI1
959   $aFI1
996   $aCategories, Types, and Structures$9337213
997   $aUNINA
DB    $aING01