Presenting Distributive Laws

DOI10.2168/LMCS-11(3:2)2015zbMath1448.68324OpenAlexW2138811321MaRDI QIDQ5892108

Marcello M. Bonsangue, Jurriaan Rot, Helle Hvid Hansen, Alexander Kurz

Publication date: 25 August 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-11(3:2)2015

zbMATH Keywords

coalgebraalgebradistributive lawsmonadequational presentationabstract GSOS

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (4)

Unnamed Item ⋮ Structural congruence for bialgebraic semantics ⋮ A functorial approach to monomorphism categories for species I ⋮ Preservation and reflection of bisimilarity via invertible steps

This page was built for publication: Presenting Distributive Laws