Total objects of domains
From MaRDI portal
Publication:800730
DOI10.1016/0304-3975(84)90055-0zbMATH Open0551.68047OpenAlexW2027362343MaRDI QIDQ800730FDOQ800730
Publication date: 1984
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(84)90055-0
Recommendations
Partial orders, general (06A06) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Topological lattices (06B30)
Cites Work
Cited In (21)
- Polish spaces, computable approximations, and bitopological spaces
- Total sets and objects in domain theory
- Domain theoretical differential calculi
- Title not available (Why is that?)
- Maximal point spaces of dcpos satisfying the Lawson condition
- Ideal models of spaces.
- A computational model for metric spaces
- Continuous prequantale models of \(T_1\) topological semigroups
- A category of compositional domain-models for separable Stone spaces.
- Topological games in domain theory
- Bounded complete models of topological spaces
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Lower topological poset models of \(T_1\) topological spaces
- Title not available (Why is that?)
- Can partial indexings be totalized?
- Computation on metric spaces via domain theory
- Some of Melvin Henriksen's contributions to spaces of ideals
- Lower topological algebraic domain models of topological spaces
- Topological semigroups and their prequantale models
- On computational environments of topological spaces
- An application of a representation theorem for fuzzy metrics to domain theory
This page was built for publication: Total objects of domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800730)