01438nam0 22003493i 450 UBO006845920251003044418.0026201125520080212d1991 ||||0itac50 baengusz01i xxxe z01nz01ncRDAcarrierCategories, types and structuresan introduction to category theory for the working computer scientistAndrea Asperti, Giuseppe LongoCambridge (Mass.)LondonThe MIT Press©1991XI, 306 p.24 cmFoundations of computing seriesBibliografia: P. [289]-299.001UFI01221142001 Foundations of computing seriesElaboratori elettroniciProgrammazioneLinguaggiFIRCFIC011611I005.13LINGUAGGI DI PROGRAMMAZIONE14005.13Specifici linguaggi di programmazione22Asperti, AndreaUBOV04801607053304Longo, Giuseppe <omonimi non identificati>TSAV27460307042264ITIT-00000020080212IT-BN0095 UBO0068459Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 ASP.ca 0102 0000008605 VMA A4 1 v.Y 1994041319940413 01Categories, types and structures1575500UNISANNIO