22 citations · 47 across the 19 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
A characterization of the consistent Hoare powerdomains over dcpos
Zhongxi Zhang, Qingguo Li, Nan Zhang
It has been shown that for a dcpo P, the Scott closure of Γ_c(P) in Γ(P) is a consistent Hoare powerdomain of P, where Γ_c(P) is the family of nonempty, consistent and Scott closed…
cs.LO2018
Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces
Longchun Wang, Qingguo Li, Lankun Guo
Closure space has proven to be a useful tool to restructure lattices and various order structures.This paper aims to provide a novel approach to characterizing some important kinds…