scientific article
From MaRDI portal
Publication:3138535
zbMath0797.18004MaRDI QIDQ3138535
Publication date: 11 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kleisli categoryCartesian closedordered categoryintensional semanticscategories of algorithms on domainscomputation on domainscomputational comonadsexponentiation diagramextensional informationintensional categoryprogram denotations
Semantics in the theory of computing (68Q55) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Lifting theorems for Kleisli categories ⋮ Problems in rewriting applied to categorical concepts by the example of a computational comonad ⋮ Monad as modality ⋮ Unnamed Item ⋮ Concrete data structures and functional parallel programming ⋮ Galois functors and entwining structures ⋮ Whither semantics? ⋮ Combining a monad and a comonad ⋮ Comonadic Notions of Computation
