On F S + -Domains
Joint Authors
Source
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-4, 4 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-05-14
Country of Publication
Egypt
No. of Pages
4
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Yuan, Yayan& Li, Jibo. 2014. On F S + -Domains. Abstract and Applied Analysis،Vol. 2014, no. 2014, pp.1-4.
https://search.emarefa.net/detail/BIM-1034050
Modern Language Association (MLA)
Yuan, Yayan& Li, Jibo. On F S + -Domains. Abstract and Applied Analysis No. 2014 (2014), pp.1-4.
https://search.emarefa.net/detail/BIM-1034050
American Medical Association (AMA)
Yuan, Yayan& Li, Jibo. On F S + -Domains. Abstract and Applied Analysis. 2014. Vol. 2014, no. 2014, pp.1-4.
https://search.emarefa.net/detail/BIM-1034050
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1034050
