Compactly generated domain theory

DOI10.1017/S0960129506005202zbMATH Open1169.54324OpenAlexW2149175915MaRDI QIDQ5481587FDOQ5481587

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

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

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)

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
• Title not available (Why is that?)
• D-completions and the \(d\)-topology
• A constructive manifestation of the Kleene-Kreisel continuous functionals
• 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.
• Title not available (Why is that?)
• 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)