A convenient category of domains
From MaRDI portal
Publication:2864147
DOI10.1016/J.ENTCS.2007.02.004zbMATH Open1277.68113OpenAlexW2077809881MaRDI QIDQ2864147FDOQ2864147
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Category-Theoretic Solution of Recursive Domain Equations
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Notions of computation and monads
- Computational effects and operations: an overview
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Powerdomain Construction
- Title not available (Why is that?)
- Spaces in which sequences suffice
- Equilogical spaces
- Comparing Cartesian closed categories of (core) compactly generated spaces
- Filter spaces and continuous functionals
- A uniform approach to domain theory in realizability models
- Topological and limit-space subcategories of countably-based equilogical spaces
- Compactly generated domain theory
- A convenient category of topological spaces
- A small complete category
- The Discrete Objects in the Effective Topos
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Synthetic topology: of data types and classical spaces
- Axioms and (counter)examples in synthetic domain theory
- General synthetic domain theory – a logical approach
- Computational effects in topological domain theory
- Title not available (Why is that?)
- FUNCTION SPACES AND PRODUCT TOPOLOGIES
- Extended admissibility.
- Title not available (Why is that?)
- Axiomatic Domain Theory in Categories of Partial Maps
- Title not available (Why is that?)
- A note on inconsistencies caused by fixpoints in a cartesian closed category
- Two preservation results for countable products of sequential spaces
- Quotients of countably based spaces are not closed under sobrification
Cited In (27)
- Healthiness conditions for predicate transformers
- Comparing free algebras in topological and classical domain theory
- Topical categories of domains
- Concrete domains
- Admissibly Represented Spaces and Qcb-Spaces
- Semi-decidability of may, must and probabilistic testing in a higher-type setting
- Title not available (Why is that?)
- Computational effects in topological domain theory
- Domain representable spaces defined by strictly positive induction
- Compactly generated domain theory
- A category of compositional domain-models for separable Stone spaces.
- Title not available (Why is that?)
- Product of extension domains is still an extension domain
- The intrinsic topology of Martin-Löf universes
- Domains via graphs
- Computable de Finetti measures
- Categorical domain theory: Scott topology, powercategories, coherent categories
- Topological properties of concept spaces (full version)
- A new grid structure for domain extension
- Title not available (Why is that?)
- Selection functions, bar recursion and backward induction
- Computable analysis with applications to dynamic systems
- Observationally-induced Effects in Cartesian Closed Categories
- On the relationship between filter spaces and weak limit spaces
- Some reasons for generalising domain theory
- An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract)
- Title not available (Why is that?)
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)