Search Results

Abstract

Cite as

Bartek Klin and Beata Nachyla. Presenting Morphisms of Distributive Laws. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 190-204, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

@InProceedings{klin_et_al:LIPIcs.CALCO.2015.190,
  author =	{Klin, Bartek and Nachyla, Beata},
  title =	{{Presenting Morphisms of Distributive Laws}},
  booktitle =	{6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
  pages =	{190--204},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-84-2},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{35},
  editor =	{Moss, Lawrence S. and Sobocinski, Pawel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.190},
  URN =		{urn:nbn:de:0030-drops-55343},
  doi =		{10.4230/LIPIcs.CALCO.2015.190},
  annote =	{Keywords: coalgebra, bialgebra, distributive law, structural operational semantics}
}