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

Continuous lattices and posets, applications (06B35) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) 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

(17)

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

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)