A Relationship between Equilogical Spaces and Type Two Effectivity
by
Andrej Bauer
| Citations: | 9 - 0 self |
BibTeX
@MISC{Bauer_arelationship,
author = {Andrej Bauer},
title = {A Relationship between Equilogical Spaces and Type Two Effectivity},
year = {}
}
Years of Citing Articles
OpenURL
Abstract
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.







