01861nam0 2200361 i 450 VAN0004453120240806100431.74208-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 cm001VAN000431842001 Contemporary mathematics210 ProvidenceAmerican Mathematical Society9203-XXMathematical logic and foundations [MSC 2020]VANC019750MF18-XXCategory theory; homological algebra [MSC 2020]VANC019745MF18DxxCategorical structures [MSC 2020]VANC024547MF68-XXComputer science [MSC 2020]VANC019670MFUSProvidenceVANL000273GrayJohn W.VANV036825ScedrovAndreVANV035911American mathematical societyVANV108732650Gray, J. W.Gray, John W.VANV036827Gray, John WalkerGray, John W.VANV060196ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Gray, Scedrov - Categories in computer science and logic.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00044531BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1696 08 6878 I 20060420 Categories in computer science and logic343951UNICAMPANIA