AbstractPlotkin, Smyth and Jung studied the category of bifinite domains. In this paper, we prove that the function space from a Lawson compact continuous domain into a continuous B-domain (the retract of a bifinite domain) is continuous
A thorough understanding of function spaces is useful for identifying large cartesian closed categor...
In this article, using the Mizar system [1], [2], first we give a definition of a functional space w...
AbstractWe solve the long standing problem of characterizing those Tychonov spaces X for which the f...
AbstractPlotkin, Smyth and Jung studied the category of bifinite domains. In this paper, we prove th...
In earlier work the second author introduced the tool of pointwise directed families of characterist...
AbstractIt is proved in this paper that for a continuous B-domain L, the function space [X→L] is con...
AbstractIn this paper it is proved that for a Lawson compact algebraic dcpo D and a bifinite domain ...
In this paper, continuing the work of the first and third authors, we study the function spaces from...
AbstractThe purpose of this paper is to study the structure of compact continuous L-domains. It is p...
Achim Jung y Technische Hochschule Darmstadt and Imperial College of Science and Technology, Londo...
Given classes of domains (or topological spaces) A and B, when are all function spaces [A→B] again c...
AbstractIt is shown that the space C(X) of all continuous real-valued functions with the compact-ope...
AbstractGiven classes of domains (or topological spaces) A and B, when are all function spaces [A→B]...
AbstractThis article introduces a non-specialized audience to continuous domains and their use in an...
We present two characterisations of FS domains, using the upper and the lower power domain construc...
A thorough understanding of function spaces is useful for identifying large cartesian closed categor...
In this article, using the Mizar system [1], [2], first we give a definition of a functional space w...
AbstractWe solve the long standing problem of characterizing those Tychonov spaces X for which the f...
AbstractPlotkin, Smyth and Jung studied the category of bifinite domains. In this paper, we prove th...
In earlier work the second author introduced the tool of pointwise directed families of characterist...
AbstractIt is proved in this paper that for a continuous B-domain L, the function space [X→L] is con...
AbstractIn this paper it is proved that for a Lawson compact algebraic dcpo D and a bifinite domain ...
In this paper, continuing the work of the first and third authors, we study the function spaces from...
AbstractThe purpose of this paper is to study the structure of compact continuous L-domains. It is p...
Achim Jung y Technische Hochschule Darmstadt and Imperial College of Science and Technology, Londo...
Given classes of domains (or topological spaces) A and B, when are all function spaces [A→B] again c...
AbstractIt is shown that the space C(X) of all continuous real-valued functions with the compact-ope...
AbstractGiven classes of domains (or topological spaces) A and B, when are all function spaces [A→B]...
AbstractThis article introduces a non-specialized audience to continuous domains and their use in an...
We present two characterisations of FS domains, using the upper and the lower power domain construc...
A thorough understanding of function spaces is useful for identifying large cartesian closed categor...
In this article, using the Mizar system [1], [2], first we give a definition of a functional space w...
AbstractWe solve the long standing problem of characterizing those Tychonov spaces X for which the f...
DOI
Add to ORKG