On F S + -Domains

Abstract

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 $FS$-domain $L$ is an $F{S}_{+}$-domain.