The way-below relation of function spaces over semantic domains
From MaRDI portal
Publication:1295215
DOI10.1016/S0166-8641(97)00226-5zbMath0922.06009MaRDI QIDQ1295215
Thomas Erker, Martín Hötzel Escardó, Klaus Keimel
Publication date: 6 September 1999
Published in: Topology and its Applications (Search for Journal in Brave)
Function spaces in general topology (54C35) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)
Related Items (21)
\(RW\)-spaces and compactness of function spaces for L-domains ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ A Cartesian closed category of domains with almost algebraic bases ⋮ Denotational semantics of hybrid automata ⋮ A domain-theoretic approach to Brownian motion and general continuous stochastic processes ⋮ Recursive solution of initial value problems with temporal discretization ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ Coincidence of the Isbell and Scott topologies on domain function spaces ⋮ Function spaces from Lawson compact continuous domains to continuous B-domains ⋮ Unnamed Item ⋮ Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains ⋮ Unnamed Item ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ Domain theoretical differential calculi ⋮ Maximal classes of spaces and domains determined by topologies on function spaces of domains ⋮ A differential operator and weak topology for Lipschitz maps ⋮ Some results on Hahn--Banach-type theorems for continuous D-cones ⋮ Lawson compactness on function spaces of domains ⋮ Function spaces from core compact coherent spaces to continuous B-domains ⋮ Extension of valuations on locally compact sober spaces ⋮ Function-space compactifications of function spaces
Cites Work
This page was built for publication: The way-below relation of function spaces over semantic domains
