Results 1 -
2 of
2
The Realizability Approach to Computable Analysis and Topology
, 2000
"... policies, either expressed or implied, of the NSF, NAFSA, or the U.S. government. ..."
Abstract
-
Cited by 34 (16 self)
- Add to MetaCart
policies, either expressed or implied, of the NSF, NAFSA, or the U.S. government.
A Relationship between Equilogical Spaces and Type Two Effectivity
"... In this paper I compare two well studied approaches to topological semantics| the domain-theoretic approach, exemplied by the category of countably based equilogical spaces, Equ, and Type Two Eectivity, exemplied by the category of Baire space representations, Rep(B ). These two categories are both ..."
Abstract
-
Cited by 9 (0 self)
- Add to MetaCart
In this paper I compare two well studied approaches to topological semantics| the domain-theoretic approach, exemplied by the category of countably based equilogical spaces, Equ, and Type Two Eectivity, exemplied by the category of Baire space representations, Rep(B ). These two categories are both locally cartesian closed extensions of countably based T 0 -spaces. A natural question to ask is how they are related.
