01802nam0 2200349 i 450 SUN004453120160419120141.008-218-5100-40.0020060420d1989 |0engc50 baengUS|||| |||||*Categories in computer science and logicproceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundationJohn W. Gray and Andre Scedrov, editorsProvidence, Rhode IslandAmerican mathematical society1989X, 382 p.ill.26 cm.001SUN00431842001 Contemporary mathematics92210 ProvidenceAmerican Mathematical Society1980-.68-XXComputer science [MSC 2020]MFSUNC01967018-XXCategory theory; homological algebra [MSC 2020]MFSUNC01974503-XXMathematical logic and foundations [MSC 2020]MFSUNC01975018DxxCategorical structures [MSC 2020]MFSUNC024547USProvidenceSUNL000273Scedrov, AndreSUNV035911Gray, John W.SUNV036825American mathematical societySUNV001080650Gray, J. W.Gray, John W.SUNV036827Gray, John WalkerGray, John W.SUNV060196ITSOL20201012RICA/sebina/repository/catalogazione/documenti/Gray, Scedrov - Categories in computer science and logic.pdfContentsSUN0044531UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1696 08 6878 I 20060420 Categories in computer science and logic343951UNICAMPANIA