On the public citation graph
Local compactness and continuous lattices
0 signed · 132 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-67678-9openalex-snapshot
A Compendium of Continuous Lattices
inferredcites →https://doi.org/10.1007/bf02194315openalex-snapshot
Sobrification of partially ordered sets
inferredcites →https://doi.org/10.1007/bf02194648openalex-snapshot
Des Schemas En Demi-Groupes Commutatifs
inferredcites →https://doi.org/10.1007/bf02194952openalex-snapshot
Irreducibility and generation in continuous lattices
inferredcites →https://doi.org/10.1007/bf02485815openalex-snapshot
Chain-complete posets and directed sets with applications
inferredcites →https://doi.org/10.1007/bfb0065268openalex-snapshot
Topological spaces admitting a "Dual"
inferredcites →https://doi.org/10.1007/bfb0080865openalex-snapshot
Topological functors admitting generalized Cauchy-completions
inferredcites →https://doi.org/10.1007/bfb0089907openalex-snapshot
Continuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications
inferredcites →https://doi.org/10.1017/s0004972700006080openalex-snapshot
A note on Baire spaces and continuous lattices
inferredcites →https://doi.org/10.1090/s0002-9947-1936-1501865-8openalex-snapshot
The theory of representations for Boolean algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1978-0515540-7openalex-snapshot
The Spectral Theory of Distributive Continuous Lattices
inferredcites →https://doi.org/10.7146/math.scand.a-11581openalex-snapshot
Function spaces and adjoints.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.2001.3073openalex-snapshot
Clausal Logic and Logic Programming in Algebraic Domains
inferred← citeshttps://doi.org/10.1007/3-540-45500-0_22openalex-snapshot
Infinite Intersection and Union Types for the Lazy Lambda Calculus
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_127openalex-snapshot
Relating multifunctions and predicate transformers through closure operators
inferred← citeshttps://doi.org/10.1007/978-1-4615-8162-8_22openalex-snapshot
Stationary Self-Similar Extremal Processes and Random Semicontinuous Functions
inferred← citeshttps://doi.org/10.1007/978-3-540-30221-6_27openalex-snapshot
Default Reasoning over Domains and Concept Hierarchies
inferred← citeshttps://doi.org/10.1007/978-94-007-0431-2_14openalex-snapshot
Foundations for Computable Topology
inferred← citeshttps://doi.org/10.1007/978-94-009-7798-3_13openalex-snapshot
An Introduction to the Theory of Continuous Lattices
inferred← citeshttps://doi.org/10.1007/978-94-010-0654-5_9openalex-snapshot
Semantics of Logic Programs and Representation of Smyth Powerdomain
inferred← citeshttps://doi.org/10.1007/978-94-015-8451-7_4openalex-snapshot
A Note on the Myope Topology
inferred← citeshttps://doi.org/10.1007/978-94-017-0697-1_3openalex-snapshot
Algebraic Ordered Sets and Their Generalizations
inferred← citeshttps://doi.org/10.1007/bf00383404openalex-snapshot
Bigeneration in complete lattices and principal separation in ordered sets
inferred← citeshttps://doi.org/10.1007/bf01173916openalex-snapshot
Essentially completeT 0-spaces II. A lattice-theoretic approach
inferred← citeshttps://doi.org/10.1007/bf01179754openalex-snapshot
Eine Kennzeichnung topologischer R�ume durch Vervollst�ndigungen
inferred← citeshttps://doi.org/10.1007/bf01195382openalex-snapshot
Distributive laws for concept lattices
inferred← citeshttps://doi.org/10.1007/bf01229979openalex-snapshot
Weak distributive laws and their role in lattices of congruences and equational theories
inferred← citeshttps://doi.org/10.1007/bf02573620openalex-snapshot
Zero dimensional and connected domains
inferred← citeshttps://doi.org/10.1007/bf02773690openalex-snapshot
On the existence of ordered couplings of random sets — with applications
inferred← citeshttps://doi.org/10.1007/bf03025717openalex-snapshot
A characterisation of lattice-ordered abelian groups
inferred← citeshttps://doi.org/10.1007/bfb0036946openalex-snapshot
Power domains and predicate transformers: A topological view
inferred← citeshttps://doi.org/10.1007/bfb0097800openalex-snapshot
Continuous lattices in formal topology
inferred← citeshttps://doi.org/10.1007/s00233-012-9392-4openalex-snapshot
Domain theory and mirror properties in inverse semigroups
inferred← citeshttps://doi.org/10.1007/s00233-022-10311-4openalex-snapshot
Hofmann–Mislove through the lenses of Priestley
inferred← citeshttps://doi.org/10.1007/s10485-006-9029-4openalex-snapshot
Choiceless, Pointless, but not Useless: Dualities for Preframes
inferred← citeshttps://doi.org/10.1007/s10485-007-9090-7openalex-snapshot
Boolean Topological Distributive Lattices and Canonical Extensions
inferred← citeshttps://doi.org/10.1007/s10485-018-9536-0openalex-snapshot
Categories of Locally Hypercompact Spaces and Quasicontinuous Posets
inferred← citeshttps://doi.org/10.1007/s10485-023-09739-8openalex-snapshot
Deriving Dualities in Pointfree Topology from Priestley Duality
inferred← citeshttps://doi.org/10.1007/s10485-025-09802-6openalex-snapshot
Canonical extensions via fitted sublocales
inferred← citeshttps://doi.org/10.1007/s11083-025-09692-2openalex-snapshot
Spaces Determined by their Smyth Hyperspaces with the Scott Topology
inferred← citeshttps://doi.org/10.1016/0022-4049(93)90059-3openalex-snapshot
Domains arising as algebras for powerspace constructions
inferred← citeshttps://doi.org/10.1016/0166-8641(92)90083-copenalex-snapshot
Ideal completion and Stone representation of ideal-distributive ordered sets
inferred← citeshttps://doi.org/10.1016/0167-6423(91)90037-xopenalex-snapshot
Power domain constructions
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90182-sopenalex-snapshot
Power domains and second-order predicates
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00048-2openalex-snapshot
Duality beyond sober spaces: Topological spaces and observation frames
inferred← citeshttps://doi.org/10.1016/b978-044450980-2/50014-5openalex-snapshot
Topology and Domain Theory
inferred← citeshttps://doi.org/10.1016/j.apal.2005.05.020openalex-snapshot
Compactly generated Hausdorff locales
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.06.063openalex-snapshot
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.04.022openalex-snapshot
Topological Analysis of Refinement
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.02.033openalex-snapshot
A Hofmann-Mislove theorem for Bitopological Spaces
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.01.002openalex-snapshot
Semantic Domains for Combining Probability and Non-Determinism
inferred← citeshttps://doi.org/10.1016/j.entcs.2019.09.016openalex-snapshot
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism
inferred← citeshttps://doi.org/10.1016/j.fss.2024.109241openalex-snapshot
A Boolean-valued space approach to separation axioms and sobriety of bitopological spaces
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.02.007openalex-snapshot
A Hofmann–Mislove theorem for bitopological spaces
inferred← citeshttps://doi.org/10.1016/j.jmaa.2005.07.018openalex-snapshot
The category of supercontinuous posets
inferred← citeshttps://doi.org/10.1016/j.jpaa.2005.10.013openalex-snapshot
Point-sensitive and point-free patch constructions
inferred← citeshttps://doi.org/10.1016/j.jpaa.2025.108137openalex-snapshot
Raney extensions: A pointfree theory of T0 spaces based on canonical extension
inferred← citeshttps://doi.org/10.1016/j.topol.2005.10.010openalex-snapshot
Coalgebraic representations of distributive lattices with operators
inferred← citeshttps://doi.org/10.1016/j.topol.2009.03.029openalex-snapshot
Infinite distributive laws versus local connectedness and compactness properties
inferred← citeshttps://doi.org/10.1016/j.topol.2009.03.043openalex-snapshot
The connected Vietoris powerlocale
inferred← citeshttps://doi.org/10.1016/j.topol.2011.05.024openalex-snapshot
A bitopological point-free approach to compactifications
inferred← citeshttps://doi.org/10.1016/j.topol.2013.01.007openalex-snapshot
How regular can maxitive measures be?
inferred← citeshttps://doi.org/10.1016/j.topol.2017.08.045openalex-snapshot
s-Quasicontinuous posets and meet s-continuous posets
inferred← citeshttps://doi.org/10.1016/j.topol.2018.04.002openalex-snapshot
The strength of prime separation, sobriety, and compactness theorems
inferred← citeshttps://doi.org/10.1016/j.topol.2019.106976openalex-snapshot
Canonical extensions of locally compact frames
inferred← citeshttps://doi.org/10.1016/j.topol.2020.107255openalex-snapshot
First countability, ω-well-filtered spaces and reflections
inferred← citeshttps://doi.org/10.1016/j.topol.2020.107323openalex-snapshot
On T0 spaces determined by well-filtered spaces
inferred← citeshttps://doi.org/10.1016/j.topol.2020.107480openalex-snapshot
Coincidence of the upper Vietoris topology and the Scott topology
inferred← citeshttps://doi.org/10.1016/j.topol.2020.107540openalex-snapshot
Some open problems on well-filtered spaces and sober spaces
inferred← citeshttps://doi.org/10.1016/j.topol.2020.107548openalex-snapshot
On H-sober spaces and H-sobrifications of T0 spaces
inferred← citeshttps://doi.org/10.1016/s0022-4049(99)00172-3openalex-snapshot
The regular-locally compact coreflection of a stably locally compact locale
inferred← citeshttps://doi.org/10.1016/s0166-8641(01)00089-xopenalex-snapshot
Function-space compactifications of function spaces
inferred← citeshttps://doi.org/10.1016/s0166-8641(01)00249-8openalex-snapshot
Extension of valuations on locally compact sober spaces
inferred← citeshttps://doi.org/10.1016/s0166-8641(02)00147-5openalex-snapshot
Topological games in domain theory
inferred← citeshttps://doi.org/10.1016/s0166-8641(97)00074-6openalex-snapshot
Uniform approximation of topological spaces
inferred← citeshttps://doi.org/10.1016/s0166-8641(97)00222-8openalex-snapshot
Topology, domain theory and theoretical computer science
inferred← citeshttps://doi.org/10.1016/s0166-8641(97)00223-xopenalex-snapshot
Quantitative semantics, topology, and possibility measures
inferred← citeshttps://doi.org/10.1016/s0166-8641(97)00225-3openalex-snapshot
Properly injective spaces and function spaces
inferred← citeshttps://doi.org/10.1016/s0166-8641(97)00226-5openalex-snapshot
The way-below relation of function spaces over semantic domains
inferred← citeshttps://doi.org/10.1016/s0890-5401(03)00143-3openalex-snapshot
Infinite intersection types
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00020-9openalex-snapshot
Types, Logic, and Semantics for Nested Databases
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00332-9openalex-snapshot
Continuous Domains in Logical Form1 1A thesis submitted to The University of Birmingham for the degree of Doctor of Philosophy, June 1999.
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80014-8openalex-snapshot
Maximal Limit Spaces, Powerspaces, and Scott Domains
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80076-8openalex-snapshot
On the Compact-regular Coreflection of a Stably Compact Locale
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80077-xopenalex-snapshot
Semantic Domains, Injective Spaces and Monads
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80572-3openalex-snapshot
Local Compactness and the Baire Category Theorem in Abstract Stone Duality
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80964-2openalex-snapshot
Stably Compact Spaces and Closed Relations
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)00333-6openalex-snapshot
Continuous Domains in Logical Form
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80053-2openalex-snapshot
The space of maximal elements in a compact domain
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80216-6openalex-snapshot
The Troublesome Probabilistic Powerdomain
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80221-xopenalex-snapshot
Domain theoretic models of topological spaces
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80746-7openalex-snapshot
Convex Power Constructions for Continuous D-Cones
inferred← citeshttps://doi.org/10.1017/s0305004105008844openalex-snapshot
A categorical account of the Hofmann–Mislove theorem
inferred← citeshttps://doi.org/10.1017/s0960129501003450openalex-snapshot
Continuous domains as formal spaces
inferred← citeshttps://doi.org/10.1017/s0960129504004268openalex-snapshot
A domain equation for refinement of partial systems
inferred← citeshttps://doi.org/10.1017/s096012952000002xopenalex-snapshot
Computable analysis with applications to dynamic systems
inferred← citeshttps://doi.org/10.1017/s1446788700024654openalex-snapshot
On the order-theoretical foundation of a theory of quasicompactly generated spaces without separation axiom
inferred← citeshttps://doi.org/10.1023/a:1023012924892openalex-snapshot
Quantitative Continuous Domains
inferred← citeshttps://doi.org/10.1080/16073606.1986.9631603openalex-snapshot
TOPOLOGICAL SPACES WITH A COARSEST COMPATIBLE QUASI-PROXIMITY
inferred← citeshttps://doi.org/10.1080/16073606.1992.9631682openalex-snapshot
FUZZY TOPOLOGIES OF SCOTT CONTINUOUS FUNCTIONS AND THEIR RELATION TO THE HYPERGRAPH FUNCTOR
inferred← citeshttps://doi.org/10.1090/s0002-9939-1994-1195723-0openalex-snapshot
A Direct Proof of the Hofmann-Mislove Theorem
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198566519.003.0014openalex-snapshot
SOME CONSTRUCTIVE ROADS TO TYCHONOFF
inferred← citeshttps://doi.org/10.1109/lics.1989.39181openalex-snapshot
Non-well-founded sets obtained from ideal fixed points
inferred← citeshttps://doi.org/10.1109/lics.1994.316081openalex-snapshot
Linear types, approximation, and topology
inferred← citeshttps://doi.org/10.1111/j.1749-6632.1994.tb44135.xopenalex-snapshot
Intrinsic Spectral Topologies
inferred← citeshttps://doi.org/10.1111/j.1749-6632.1996.tb49171.xopenalex-snapshot
On the Duality of Compact vs. Open
inferred← citeshttps://doi.org/10.1515/gmj-2012-0011openalex-snapshot
Aspects of slice stability in locale theory
inferred← citeshttps://doi.org/10.2168/lmcs-2(1:1)2006openalex-snapshot
Computably Based Locally Compact Spaces
inferred← citeshttps://doi.org/10.2298/fil2205507lopenalex-snapshot
The wf-rank of topological spaces
inferred← citeshttps://doi.org/10.23638/lmcs-13(2:6)2017openalex-snapshot
A Recipe for State-and-Effect Triangles
inferred← citeshttps://doi.org/10.2989/16073606.2016.1173123openalex-snapshot
Completely primeL-filters, irreducibleL-filters and sobriety
inferred← citeshttps://doi.org/10.3233/fi-1995-22125openalex-snapshot
ADJUNCTIONS BETWEEN CATEGORIES OF DOMAINS
inferred← citeshttps://doi.org/10.4115/jla.2009.1.11openalex-snapshot
Localic completion of generalized metric spaces II: Powerlocales
inferred← citeshttps://doi.org/10.4115/jla.2010.2.5openalex-snapshot
A lambda calculus for real analysis
inferred← citeshttps://doi.org/10.4115/jla.v2i0.63openalex-snapshot
A Lambda Calculus for Real Analysis.
inferred← citeshttps://doi.org/10.4153/cjm-1985-045-3openalex-snapshot
The Injective Hull and the -Compactification of a Continuous Poset
inferred← citeshttps://doi.org/10.46298/entics.10369openalex-snapshot
A Hofmann-Mislove theorem for $c$-well-filtered spaces
inferred← citeshttps://doi.org/10.48550/arxiv.0912.5469openalex-snapshot
A class of compact subsets for non-sober topological spaces
inferred← citeshttps://doi.org/10.5772/intechopen.1000228openalex-snapshot
Topology - Recent Advances and Applications [Working Title]
inferred← citeshttps://doi.org/10.70930/tac/gnpjnttmopenalex-snapshot
A Hofmann-Mislove theorem for approach spaces
inferred← citeshttps://doi.org/10.7146/math.scand.a-12246openalex-snapshot
Existence theorems for measures on continous posets, with applications to random set theory.
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.