scientific article; zbMATH DE number 431759

MaRDI QIDQ3138535zbMATH OpenFDO

Authors Stephen Brookes, Shai Geva

Publication date 11 October 1994

zbMATH Keywords

Cartesian closedcategories of algorithms on domainscomputation on domainscomputational comonadsexponentiation diagramextensional informationintensional categoryintensional semanticsKleisli categoryordered 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

(15)

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

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)