Algebra and Coalgebra in Computer Science

DOI10.1007/11548133zbMath1151.18002OpenAlexW249899439MaRDI QIDQ5492831

A. John Power

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11548133

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (12)

A categorical view of varieties of ordered algebras ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Finitary monads on the category of posets ⋮ Discrete Lawvere theories and computational effects ⋮ Functional distribution monads in functional-analytic contexts ⋮ The Gray tensor product via factorisation ⋮ Discrete equational theories ⋮ Varieties of ordered algebras as categories ⋮ Notions of Lawvere theory ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Algebraic presentation of semifree monads ⋮ Probabilistic Completion of Nondeterministic Models

This page was built for publication: Algebra and Coalgebra in Computer Science