文章基本信息

标题：Presenting Morphisms of Distributive Laws
本地全文：下载
作者：Bartek Klin ; Beata Nachyla
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2015
卷号：35
页码：190-204
DOI：10.4230/LIPIcs.CALCO.2015.190
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watanabe.
关键词：coalgebra; bialgebra; distributive law; structural operational semantics