A convenient category of domains

DOI10.1016/J.ENTCS.2007.02.004zbMATHOpenAlexMaRDI QIDQ2864147FDO

Authors Ingo Battenfeld, Matthias Schröder, Alex Simpson

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.004

zbMATH Keywords

denotational semanticsdomain theorytopological domain theoryTTEconvenient topology

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3940731
• Domains via graphs
• Computational effects in topological domain theory
• Some reasons for generalising domain theory
• The convex powerdomain in a category of posets realized by cpos

Cites work

• scientific article; zbMATH DE number 431762 (Why is no real title available?)
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3768575 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1231645 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2107973 (Why is no real title available?)
• scientific article; zbMATH DE number 1456958 (Why is no real title available?)
• scientific article; zbMATH DE number 3239167 (Why is no real title available?)
• A Powerdomain Construction
• A convenient category of topological spaces
• A note on inconsistencies caused by fixpoints in a cartesian closed category
• A small complete category
• A uniform approach to domain theory in realizability models
• Axiomatic Domain Theory in Categories of Partial Maps
• Axioms and (counter)examples in synthetic domain theory
• Compactly generated domain theory
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Computational effects and operations: an overview
• Computational effects in topological domain theory
• Continuous Lattices and Domains
• Equilogical spaces
• Extended admissibility.
• FUNCTION SPACES AND PRODUCT TOPOLOGIES
• Filter spaces and continuous functionals
• General synthetic domain theory – a logical approach
• Notions of computation and monads
• Quotients of countably based spaces are not closed under sobrification
• Spaces in which sequences suffice
• Synthetic topology: of data types and classical spaces
• The Category-Theoretic Solution of Recursive Domain Equations
• The Discrete Objects in the Effective Topos
• Topological and limit-space subcategories of countably-based equilogical spaces
• Two preservation results for countable products of sequential spaces

Cited in

(28)

• Product of extension domains is still an extension domain
• Topical categories of domains
• Admissibly Represented Spaces and Qcb-Spaces
• A category of compositional domain-models for separable Stone spaces.
• Some reasons for generalising domain theory
• scientific article; zbMATH DE number 6917933 (Why is no real title available?)
• Domain representable spaces defined by strictly positive induction
• Computable de Finetti measures
• Semi-decidability of may, must and probabilistic testing in a higher-type setting
• scientific article; zbMATH DE number 3982549 (Why is no real title available?)
• Topological properties of concept spaces (full version)
• Selection functions, bar recursion and backward induction
• The bicategory-theoretic solution of recursive domain equations
• scientific article; zbMATH DE number 3950510 (Why is no real title available?)
• Compactly generated domain theory
• Computational effects in topological domain theory
• A new grid structure for domain extension
• Concrete domains
• The intrinsic topology of Martin-Löf universes
• Observationally-induced effects in Cartesian closed categories
• An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract)
• Healthiness conditions for predicate transformers
• Computable analysis with applications to dynamic systems
• Categorical domain theory: Scott topology, powercategories, coherent categories
• Domains via graphs
• Comparing free algebras in topological and classical domain theory
• scientific article; zbMATH DE number 7093560 (Why is no real title available?)
• On the relationship between filter spaces and weak limit spaces

This page was built for publication: A convenient category of domains

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