On the public citation graph

Smyth and Hoare Power Constructions Commute on All Well-Filtered Dcpos

https://doi.org/10.2139/ssrn.4689710
0 signed · 17 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-55511-0_14openalex-extracted
An upper power domain construction in terms of strongly compact sets
inferredcites →https://doi.org/10.1007/bfb0083084openalex-extracted
Distributive laws
inferredcites →https://doi.org/10.1007/bfb0084221openalex-extracted
Preframe presentations present
inferredcites →https://doi.org/10.1016/0022-0000(90)90008-9openalex-extracted
The Hoare and Smyth power domain constructors commute under composition
inferredcites →https://doi.org/10.1016/0022-4049(94)00111-uopenalex-extracted
Monads for which structures are adjoint to units
inferredcites →https://doi.org/10.1016/j.topol.2016.06.011openalex-extracted
A note on coherence of dcpos
inferredcites →https://doi.org/10.1016/j.topol.2017.06.002openalex-extracted
On well-filtered spaces and ordered sets
inferredcites →https://doi.org/10.1016/j.topol.2021.107918openalex-extracted
Two topologies on the lattice of Scott closed subsets
inferredcites →https://doi.org/10.1016/s0166-8641(97)00225-3openalex-extracted
Properly injective spaces and function spaces
inferredcites →https://doi.org/10.1017/cbo9780511525872openalex-extracted
Handbook of Categorical Algebra
inferredcites →https://doi.org/10.1017/cbo9780511542725openalex-extracted
Continuous Lattices and Domains
inferredcites →https://doi.org/10.1017/s0960129521000414openalex-extracted
Probability, valuations, hyperspace: Three monads on top and the support as a morphism
inferredcites →https://doi.org/10.1112/blms/6.1.115openalex-extracted
CATEGORIES FOR THE WORKING MATHEMATICIAN
inferredcites →https://doi.org/10.1137/0205035openalex-extracted
A Powerdomain Construction
inferredcites →https://doi.org/10.2168/0openalex-extracted
Logical Methods in Computer Science
inferredcites →https://doi.org/10.23638/lmcs-15(3:13)2019openalex-extracted
On the commutativity of the powerspace constructions
inferredcites →https://doi.org/10.70930/tac/2z2nujiiopenalex-extracted
The double powerlocale and exponentiation:A case study in geometric logic
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.