01036nam0-22003251i-450-9900011136604033210-262-01125-5000111366FED01000111366(Aleph)000111366FED0100011136620000920d1991----km-y0itay50------baengCategories, Types, and StructuresAn Introduction to Category Theory for the Working Computer ScientistAndrea Asperti, Giuseppe LongoCambridge [Mass.] [etc.]The MIT Press1991Foundations of ComputingIncludes bibliographical referencesTeoria della programmazione e utilizzazione dei computersSoftware510.78Asperti,Andrea53304Longo,GiuseppeITUNINARICAUNIMARCBK9900011136604033218B-28518958FI1FI1Categories, Types, and Structures337213UNINAING01