scientific article; zbMATH DE number 431759

MaRDI QIDQ3138535zbMATH OpenFDO

Authors Stephen Brookes, Shai Geva

Publication date 11 October 1994

zbMATH Keywords

Kleisli categoryCartesian closedordered categoryintensional semanticscategories of algorithms on domainscomputation on domainscomputational comonadsexponentiation diagramextensional informationintensional categoryprogram denotations

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2001367
• scientific article; zbMATH DE number 1794706
• scientific article; zbMATH DE number 4208062
• scientific article; zbMATH DE number 3893177
• Compositional conceptualization in intentional logics
• Natural language semantics and computability
• Intensionality, definability and computation
• Computational semantics in type theory
• scientific article; zbMATH DE number 4187780
• Compositionality, computability, and complexity

Cited in

(14)

• Comonadic notions of computation
• Lifting theorems for Kleisli categories
• Galois functors and entwining structures
• Concrete data structures and functional parallel programming
• Combining a monad and a comonad
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• Relating structure and power: Comonadic semantics for computational resources
• Whither semantics?
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• On the semantics of intensionality
• Monad as modality
• Problems in rewriting applied to categorical concepts by the example of a computational comonad
• The costructure–cosemantics adjunction for comodels for computational effects
• Internal and Interval Semantics for CP-Comparatives

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 Q3138535)