scientific article; zbMATH DE number 1314227

MaRDI QIDQ4256313zbMATH OpenFDO

Authors John Power, Hiroshi Watanabe

Publication date 12 July 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=19#19008

zbMATH Keywords

denotational semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Combining a monad and a comonad
• Monad compositions. I: General constructions and recursive distributive laws
• scientific article; zbMATH DE number 1497875
• Distributive laws for relative monads

Cited in

(12)

• Bialgebraic methods and modal logic in structural operational semantics
• Combining a monad and a comonad
• The Vietoris monad and weak distributive laws
• Well-behaved translations between structural operational semantics
• Bialgebraic methods in structural operational semantics (invited talk)
• Monad compositions. I: General constructions and recursive distributive laws
• Monad compositions II: Kleisli strength
• scientific article; zbMATH DE number 1497875 (Why is no real title available?)
• Generalised coinduction
• Bialgebras for structural operational semantics: an introduction
• Coinductive streams in monoidal categories
• Category theory for operational semantics

This page was built for publication:

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