scientific article
From MaRDI portal
Publication:3812305
zbMath0662.06002MaRDI QIDQ3812305
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lawson topologyScott topologycontinuous posetpower domainscontinuous ordercontinuously ordered setsdenotational sematics
Function spaces in general topology (54C35) Specification and verification (program logics, model checking, etc.) (68Q60) Continuous lattices and posets, applications (06B35)
Related Items
\(RW\)-spaces and compactness of function spaces for L-domains, The asymmetric topology of computer science, Unnamed Item, The automorphism group of a function lattice: A problem of Jónsson and McKenzie, Solutions to two problems of J. D. Lawson and M. Mislove, Logic of plotkin continuous domain, Poset properties of complex traces, Continuity spaces: Reconciling domains and metric spaces, An upper power domain construction in terms of strongly compact sets, Coincidence of the Isbell and Scott topologies on domain function spaces, Function spaces from Lawson compact continuous domains to continuous B-domains, A metric for traces, Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces, On \(FS_+\)-domains, A domain for concurrent termination a generalization of Mazurkiewicz traces, Some economic applications of Scott domains, Domains arising as algebras for powerspace constructions, The regular-locally compact coreflection of a stably locally compact locale, Uniform Completion versus Ideal Completion of Posets with Projections, The probabilistic powerdomain for stably compact spaces, Weak topologies and compactness in asymmetric functional analysis, On the computational content of the Lawson topology, Function spaces from core compact coherent spaces to continuous B-domains, Properly injective spaces and function spaces, Computation on metric spaces via domain theory, Uniform approximation of topological spaces, The constructive maximal point space and partial metrizability, Extension of valuations on locally compact sober spaces, Resource traces: A domain for processes sharing exclusive resources., Function-space compactifications of function spaces
