Compactly generated domain theory
From MaRDI portal
Publication:5481587
DOI10.1017/S0960129506005202zbMath1169.54324OpenAlexW2149175915MaRDI QIDQ5481587
Ingo Battenfeld, Alex K. Simpson, Matthias Schröder
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
Semantics in the theory of computing (68Q55) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Continuous lattices and posets, applications (06B35)
Related Items
A constructive manifestation of the Kleene-Kreisel continuous functionals, 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, Selection functions, bar recursion and backward induction, Comparing free algebras in topological and classical domain theory, Extending Algebraic Operations to D-Completions, D-completions and the \(d\)-topology, A Convenient Category of Domains
