scientific article; zbMATH DE number 1497803

zbMath0967.68102MaRDI QIDQ4499221

Daniele Turi, A. John Power

Publication date: 4 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kleisli categories of monads

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (14)

Stream processors and comodels ⋮ Iterated covariant powerset is not a monad ⋮ Relation lifting, a survey ⋮ A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Processes as formal power series: a coinductive approach to denotational semantics ⋮ Quantitative simulations by matrices ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors ⋮ Unnamed Item ⋮ Simplified Coalgebraic Trace Equivalence ⋮ Unnamed Item ⋮ Combining a monad and a comonad

This page was built for publication: