scientific article

From MaRDI portal

Revision as of 21:53, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3138535

Jump to:navigation, search

zbMath0797.18004MaRDI QIDQ3138535

Stephen Brookes, Shai Geva

Publication date: 11 October 1994

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

zbMATH Keywords

Kleisli category Cartesian closed ordered category intensional semantics categories of algorithms on domains computation on domains computational comonads exponentiation diagram extensional information intensional category program denotations

Mathematics Subject Classification ID

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 (9)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3138535&oldid=16242416"