Klin, Bartek; Nachyła, Beata Presenting morphisms of distributive laws. (English) Zbl 1366.68158 Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 190-204 (2015). MSC: 68Q55 18C50 68Q60 PDFBibTeX XMLCite \textit{B. Klin} and \textit{B. Nachyła}, LIPIcs -- Leibniz Int. Proc. Inform. 35, 190--204 (2015; Zbl 1366.68158) Full Text: DOI
Robinson, E. Logical aspects of denotational semantics. (English) Zbl 0641.68024 Category theory and computer science, Proc. Conf., Edinburgh/U.K. 1987, Lect. Notes Comput. Sci. 283, 238-253 (1987). Reviewer: E.Robinson MSC: 68Q60 68Q55 18C10 PDFBibTeX XML
Pasztor, A. Continuity of operations does change the epis. (English) Zbl 0606.06003 Algebra, combinatorics and logic in computer science, Colloq. Györ/Hung. 1983, Vol. 2, Colloq. Math. Soc. János Bolyai 42, 645-648 (1986). MSC: 06A06 18A20 08A55 06F25 18B35 68Q60 06B35 PDFBibTeX XML