When does the class [A→B] consist of continuous domains?
Given classes of domains (or topological spaces) A and B, when are all function spaces [A→B] again continuous domains? The principle result of this paper is that for A either all compact and core compact spaces or only the single domain consisting of a decreasing sequence with two lower bounds, then the largest B consists of all continuous domains such that ↓x is a sup-semilattice for each x. We also establish an analogue for L-domains. © 2002 Elsevier Science B.V. All rights reserved.
Publication Source (Journal or Book title)
Topology and its Applications
Lawson, J., & Xu, L. (2003). When does the class [A→B] consist of continuous domains?. Topology and its Applications, 130 (1), 91-97. https://doi.org/10.1016/S0166-8641(02)00213-4