Sciweavers

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