Coalgebraic approach for program behavior in comonads over toposes

MaRDI QIDQ2997823zbMATH OpenFDO

Authors Viliam Slodičák, Valerie Novitzká

Publication date 9 May 2011

zbMATH Keywords

coalgebracomonadprogram behaviortoposes

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Computer system organization (68M99)

Recommendations

• On the structure of categories of coalgebras
• scientific article; zbMATH DE number 1231634
• Coalgebras and monads in the semantics of Java
• Coalgebraic operational semantics for an imperative language
• scientific article; zbMATH DE number 5994844

Cited in

(5)

• Compositional SOS and beyond: A coalgebraic view of open systems
• Towards a Coalgebraic Chomsky Hierarchy
• scientific article; zbMATH DE number 1497883 (Why is no real title available?)
• A coalgebraic view on reachability
• Algebra and Coalgebra in Computer Science

This page was built for publication: Coalgebraic approach for program behavior in comonads over toposes

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