A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Weakly Distributive Domains
[chapter]
2007
Lecture Notes in Computer Science
In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This accomplishes the first of a possible, two-step process in solving the problem raised in [1, 2] : whether the category of stable bifinite domains of Amadio-Droste-Göbel [1, 6] is the largest cartesian closed full subcategory within the category of ω-algebraic meet-cpos with stable functions. This paper presents results on
doi:10.1007/978-3-540-73228-0_15
fatcat:xvl4t2mkbrff3dz7uqk5s5xne4