On FS+-Domains
We introduce a new construction—FS+-domain—and prove that the category with FS+-domains as objects and Scott continuous functions as morphisms is a Cartesian closed category. We obtain that the Plotkin powerdomain PP(L) over an FS-domain L is an FS+-domain.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2014-01-01
|
| Series: | Abstract and Applied Analysis |
| Online Access: | http://dx.doi.org/10.1155/2014/850298 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|