Sciweavers

16 search results - page 4 / 4
» mlq 2002
Sort
View
MLQ
2002
87views more  MLQ 2002»
13 years 5 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