B. Thomsen

Learn More
In this paper we study the in a denotational setting. We present a construction of a denotational semantics for CHOCS which resides in a domain constructed using the standard constructions of separated sum, Cartesian product, the Plotkin power domain constructor and recursively deÿned domains. We show, under mild restrictions, that the denotational(More)
  • 1