Searching for "On Powerdomains and Modality." – sorted by Relevance.
-
A Semantics for Complex Objects and Approximate Queries
- the Smyth and Hoare powerdomains respectively), allowing the maximal values to be arbitrary subsets
- Cited by 27 (0 self) – Add To MetaCart
-
INDEX equality 11, 169
- Powerdomain orderings 32 Powerdomains 35 Powerset 38 as primitive on bags 82 as primitive on sets 76 finite 38
- Add To MetaCart

