| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4949993 | Electronic Notes in Theoretical Computer Science | 2017 | 10 Pages |
Abstract
In this paper, we introduce FS-â§â-domains, and show that the category with FS-â§â-domains as objects and Scott continuous functions as morphisms is a Cartesian closed category. Moreover, we characterize the consistent Smyth powerdomain over a Lawson compact domain by means of FS-â§â-domain.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Yayan Yuan, Hui Kou,