On -Domains

Yayan Yuan and Jibo Li

Abstract and Applied Analysis, 2014, vol. 2014, 1-4

Abstract:

We introduce a new construction— -domain—and prove that the category with -domains as objects and Scott continuous functions as morphisms is a Cartesian closed category. We obtain that the Plotkin powerdomain over an -domain is an -domain.

Date: 2014
References: Add references at CitEc
Citations:

Downloads: (external link)
http://downloads.hindawi.com/journals/AAA/2014/850298.pdf (application/pdf)
http://downloads.hindawi.com/journals/AAA/2014/850298.xml (text/xml)

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:hin:jnlaaa:850298

DOI: 10.1155/2014/850298

Access Statistics for this article

More articles in Abstract and Applied Analysis from Hindawi
Bibliographic data for series maintained by Mohamed Abdelhakeem (mohamed.abdelhakeem@hindawi.com).