A logic for Lawson compact algebraic L-domains

Longchun Wang, Qingguo Li. A logic for Lawson compact algebraic L-domains. Theoretical Computer Science, 813:410-427, 2020. [doi]

Abstract

Abstract is missing.