Open Access
2014 On F S + -Domains
Yayan Yuan, Jibo Li
Abstr. Appl. Anal. 2014(SI43): 1-4 (2014). DOI: 10.1155/2014/850298


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


Download Citation

Yayan Yuan. Jibo Li. "On F S + -Domains." Abstr. Appl. Anal. 2014 (SI43) 1 - 4, 2014.


Published: 2014
First available in Project Euclid: 2 October 2014

MathSciNet: MR3212453
Digital Object Identifier: 10.1155/2014/850298

Rights: Copyright © 2014 Hindawi

Vol.2014 • No. SI43 • 2014
Back to Top