Sciweavers

4 search results - page 1 / 1
» Topological and Limit-Space Subcategories of Countably-Based...
Sort
View
56
Voted
MSCS
2002
78views more  MSCS 2002»
14 years 12 months ago
Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces
Matías Menni, Alex K. Simpson
ENTCS
2008
89views more  ENTCS 2008»
15 years 9 days ago
On the Relationship between Filter Spaces and Weak Limit Spaces
: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the ...
Matthias Schröder
MLQ
2002
87views more  MLQ 2002»
14 years 12 months ago
A Relationship between Equilogical Spaces and Type Two Effectivity
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
Andrej Bauer
ENTCS
2006
156views more  ENTCS 2006»
15 years 7 days ago
Computational Effects in Topological Domain Theory
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
Ingo Battenfeld