On FS+‐Domains

Yayan Yuan and Jibo Li

Abstract and Applied Analysis, 2014, vol. 2014, issue 1

Abstract: 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.

Date: 2014
References: Add references at CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1155/2014/850298

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:jnlaaa:v:2014:y:2014:i:1:n:850298

Access Statistics for this article

More articles in Abstract and Applied Analysis from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().