A Modular Approach to Denotational Semantics

  title={A Modular Approach to Denotational Semantics},
  author={John Power and Giuseppe Rosolini},
We give an account of part of modularity in denotational ~mantics. We define a computational effect to consist of a category with algebraic structure together with a construction using that algebraic structure of a new (lenotational category together with an identity on objects functor to it from the original category. We nmke I)recise what we mean by algebraic structure and what construcl, ions are allowable. Further, given two computational effects, we give a mathenmtical fimndation for… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 24 extracted citations

Similar Papers

Loading similar papers…