Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Presenting Morphisms of Distributive Laws - MaRDI portal

Presenting Morphisms of Distributive Laws

From MaRDI portal

Publication:5275351

Jump to:navigation, search

DOI10.4230/LIPIcs.CALCO.2015.190zbMath1366.68158OpenAlexW2334461604MaRDI QIDQ5275351

Beata Nachyła, Bartek Klin

Publication date: 11 July 2017

Full work available at URL: https://www.coalg.org/calco15/papers/p12-Klin.pdf

zbMATH Keywords

coalgebra structural operational semantics distributive law bialgebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical semantics of formal languages (18C50)

Related Items (2)

Companions, Codensity and Causality ⋮ Corecursion up-to via causal transformations

This page was built for publication: Presenting Morphisms of Distributive Laws

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5275351&oldid=19923531"