Total objects of domains
From MaRDI portal
Publication:800730
DOI10.1016/0304-3975(84)90055-0zbMath0551.68047OpenAlexW2027362343MaRDI QIDQ800730
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
Partial orders, general (06A06) Topological lattices (06B30) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items
Topological games in domain theory, Bounded complete models of topological spaces, Continuous prequantale models of \(T_1\) topological semigroups, Maximal point spaces of dcpos satisfying the Lawson condition, A computational model for metric spaces, Some of Melvin Henriksen's contributions to spaces of ideals, Ideal models of spaces., Domain theoretical differential calculi, On computational environments of topological spaces, An application of a representation theorem for fuzzy metrics to domain theory, Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, Can partial indexings be totalized?, Lower topological algebraic domain models of topological spaces, Lower topological poset models of \(T_1\) topological spaces, Unnamed Item, Computation on metric spaces via domain theory, A category of compositional domain-models for separable Stone spaces., Polish spaces, computable approximations, and bitopological spaces, Topological semigroups and their prequantale models
Cites Work