A Set-Theoretic Representation of Algebraic L-domains

Juan Zou, Yuhan Zhao, Cuixia Miao, Longchun Wang. A Set-Theoretic Representation of Algebraic L-domains. In Ding-Zhu Du, Donglei Du, Chenchen wu, Dachuan Xu, editors, Theory and Applications of Models of Computation - 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings. Volume 13571 of Lecture Notes in Computer Science, pages 370-381, Springer, 2022. [doi]

Abstract

Abstract is missing.