Categories in Computer Science and Logic

DOI10.1090/CONM/092MaRDI QIDQ4692657zbMATH OpenOpenAlexFDO

Authors

Publication date 5 June 1993

Published in Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/conm/092

zbMATH Keywords

AMSBoulder, CO (USA)CategoriesComputer scienceConferenceIMSLogicProceedingsSIAM

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
• Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
• Mathematical Applications of Category Theory
• Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997
• Logic at Botik '89. Symposium on logical foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings

Cited in

(4)

• Mathematical Applications of Category Theory
• scientific article; zbMATH DE number 1531625 (Why is no real title available?)
• Proceedings of the applied category theory 2019, ACT 2019, University of Oxford, UK, July 15--19, 2019
• Linear exponential comonads without symmetry

This page was built for publication: Categories in Computer Science and Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4692657)