Tag Archives: compact pospace

Bounded-complete domains, or bc-domains, are an amazingly rich kind of continuous domains. They form a Cartesian-closed category, and they are the densely injective topological spaces, among other properties. One characterization of bc-domains which I have not included in the book … Continue reading →