Compactly generated domain theory

DOI10.1017/S0960129506005202MaRDI QIDQ5481587zbMATH OpenOpenAlexFDO

Authors Ingo Battenfeld, Matthias Schröder, Alex Simpson

Publication date 10 August 2006

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129506005202

Mathematics Subject Classification ID

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• A convenient category of domains
• Fundamentals of Computation Theory
• Continuity spaces: Reconciling domains and metric spaces
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Web spaces and worldwide web spaces: topological aspects of domain theory

Cited in

(15)

• Comparing free algebras in topological and classical domain theory
• Extending algebraic operations to D-completions
• Spaces determined by countably many locally compact subspaces
• scientific article; zbMATH DE number 3850062 (Why is no real title available?)
• A constructive manifestation of the Kleene-Kreisel continuous functionals
• D-completions and the \(d\)-topology
• Domain representable spaces defined by strictly positive induction
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Observationally-induced effects in Cartesian closed categories
• Extending algebraic operations to D-completions.
• scientific article; zbMATH DE number 3995033 (Why is no real title available?)
• Selection functions, bar recursion and backward induction
• A convenient category of domains
• On generalized Polish spaces and domain theoretic semi-models of topological spaces
• On computational environments of topological spaces

This page was built for publication: Compactly generated domain theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5481587)