Topology, domain theory and theoretical computer science

DOI10.1016/S0166-8641(97)00222-8zbMath0923.54027MaRDI QIDQ1295216

Michael W. Mislove

Publication date: 19 October 1999

Published in: Topology and its Applications (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsdomain theorycomplete metric spacesextended survey

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Ordered topological structures (06F30)

Related Items (36)

\(RW\)-spaces and compactness of function spaces for L-domains ⋮ Frink quasicontinuous posets ⋮ A Cartesian closed category of domains with almost algebraic bases ⋮ \(s_2\)-quasialgebraic posets ⋮ Measuring the probabilistic powerdomain ⋮ A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\) ⋮ The upper topology and interval topology on quasi-hypercontinuous posets ⋮ Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ Isomorphism theorems between models of mixed choice ⋮ Coincidence of the Isbell and Scott topologies on domain function spaces ⋮ The categorical equivalence between domains and interpolative generalized closure spaces ⋮ Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains ⋮ Domain Equations Based on Sets with Families of Pre-orders ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ Unnamed Item ⋮ De Groot duality and models of choice: angels, demons and nature ⋮ A monad for randomized algorithms ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ Consistent Smyth powerdomains. ⋮ Anatomy of a domain of continuous random variables. I ⋮ From Haar to Lebesgue via Domain Theory ⋮ Anatomy of a Domain of Continuous Random Variables II ⋮ Notes on the products of the lower topology and Lawson topology on posets ⋮ Continuity of posets via Scott topology and sobrification ⋮ On the computational content of the Lawson topology ⋮ Meet continuity properties of posets ⋮ Formal topological characterizations of various continuous domains ⋮ Simulation Hemi-metrics between Infinite-State Stochastic Games ⋮ Prevision Domains and Convex Powercones ⋮ Operational domain theory and topology of sequential programming languages ⋮ Exponentials in a Cartesian closed category which contains all algebraic domains ⋮ Forward analysis for WSTS, part I: completions ⋮ A representation of FS-domains by formal concept analysis ⋮ \(L\)-valued quasi-overlap functions, \(L\)-valued overlap index, and Alexandroff's topology ⋮ Extension of valuations on locally compact sober spaces

Cites Work

• Domain theory and integration
• Solving reflexive domain equations in a category of complete metric spaces
• Non-well-founded sets modeled as ideal fixed points
• The largest Cartesian closed category of domains
• Algebras, polynomials and programs
• Effectively given domains
• A calculus of communicating systems
• The lambda calculus, its syntax and semantics
• Domain theory in logical form
• Quantales and continuity spaces
• Full abstraction and recursion
• Dynamical systems, measures, and fractals via domain theory
• Power domains and iterated function systems
• A convenient category of topological spaces
• A domain equation for bisimulation
• A mathematical logic without variables. II
• A lattice-theoretical fixpoint theorem and its applications
• A Theory of Communicating Sequential Processes
• A Generalized Cantor Theorem
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices
• A Direct Proof of the Hofmann-Mislove Theorem
• What is a model of the lambda calculus?
• Processes and the denotational semantics of concurrency
• Complete Lattices and the Generalized Cantor Theorem
• Irreducible semigroups
• Nonwellfounded sets and programming language semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topology, domain theory and theoretical computer science