Zhenchao Lyu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Learning Spaces

Top Venues

Math. Struct. Comput. Sci.

Theor. Comput. Sci.

Publications

Yuxu Chen, Hui Kou, Zhenchao Lyu
Upper powerdomains of quasicontinuous dcpos. Theor. Comput. Sci. 1006 (2024)
Yuxu Chen, Hui Kou, Zhenchao Lyu, Xiaolin Xie
A construction of free dcpo-cones. Math. Struct. Comput. Sci. 34 (1) (2024)
Yuxu Chen, Hui Kou, Zhenchao Lyu
Free dcpo-algebras via directed spaces. CoRR (2023)
Yuxu Chen, Hui Kou, Zhenchao Lyu
Continuity on directed spaces. CoRR (2022)
Zhenchao Lyu, Xiaolin Xie, Hui Kou
A note on the category of c-spaces. CoRR (2022)
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu
Domain-complete and LCS-complete Spaces. ISDT (2019)
Zhenchao Lyu, Hui Kou
A Cartesian Closed Category of Domains with Almost Algebraic Bases. ISDT (2019)