Research Topics
Guo-Qiang Zhang · Birkhäuser Boston eBooks · 1991
We have studied domain logic of two prominent categories for denotational semantics: the SFP domains and the stable domains. The promise of domain logic was first adequately demonstrated in Abramsky’s work ‘Domain Theory in Logical Form’ ([Ab87]). Although this monograph definitely adds more to our appreciation of the importance, this should really be counted as a side effect. The purposes of the monograph is, as pointed out at the beginning, to convey to the reader the state of knowledge on logic of domains, and to point to areas where more research is to be done. We hope that we have achieved the first by presenting some of the recent results on a variety of topics about important aspects of logic of domains.