Algebra and Coalgebra in Computer Science

DOI10.1007/11548133MaRDI QIDQ5492812zbMATH OpenOpenAlexFDO

Authors Gordon D. Plotkin

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

Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1705158
• Towards Effects in Mathematical Operational Semantics
• Comodels and effects in mathematical operational semantics
• Completeness for algebraic theories of local state
• Handlers of Algebraic Effects

Cited in

(5)

• Algebraic and coalgebraic perspectives on interaction laws
• scientific article; zbMATH DE number 1705158 (Why is no real title available?)
• Completeness for algebraic theories of local state
• Comodels and effects in mathematical operational semantics
• Sound and complete equational reasoning over comodels

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492812)