01858nam0 2200361 i 450 VAN004453120231123085428.60808-218-5100-420060420d1989 |0itac50 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 cm001VAN00431842001 Contemporary mathematics210 ProvidenceAmerican Mathematical Society9268-XXComputer science [MSC 2020]VANC019670MF18-XXCategory theory; homological algebra [MSC 2020]VANC019745MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF18DxxCategorical structures [MSC 2020]VANC024547MFUSProvidenceVANL000273GrayJohn W.VANV036825ScedrovAndreVANV035911American mathematical societyVANV108732650Gray, J. W.Gray, John W.VANV036827Gray, John WalkerGray, John W.VANV060196ITSOL20231124RICA/sebina/repository/catalogazione/documenti/Gray, Scedrov - Categories in computer science and logic.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0044531BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1696 08 6878 I 20060420 Categories in computer science and logic343951UNICAMPANIA