关注
Zhenchao Lyu
Zhenchao Lyu
Department of mathematics, Sichuan University
在 scu.edu.cn 的电子邮件经过验证
标题
引用次数
引用次数
年份
Domain-complete and LCS-complete spaces
M de Brecht, J Goubault-Larrecq, X Jia, Z Lyu
arXiv preprint arXiv:1902.11142, 2019
192019
Two topologies on the lattice of Scott closed subsets
Y Chen, H Kou, Z Lyu
Topology and its Applications 306, 107918, 2022
92022
Core-compactness, consonance and the Smyth powerspaces
Z Lyu, Y Chen, X Jia
Topology and its Applications 312, 108066, 2022
72022
The probabilistic powerdomain from a topological viewpoint
Z Lyu, H Kou
Topology and its Applications 237, 26-36, 2018
52018
Core-compactness of Smyth powerspaces
Z Lyu, X Jia
arXiv preprint arXiv:1907.04715, 2019
32019
Continuity and core compactness of topological spaces
Y Chen, H Kou, Z Lyu
arXiv preprint arXiv:2203.06344, 2022
12022
Upper powerdomains of quasicontinuous dcpos
Y Chen, H Kou, Z Lyu
Theoretical Computer Science, 114663, 2024
2024
A construction of free dcpo-cones
Y Chen, H Kou, Z Lyu, X Xie
Mathematical Structures in Computer Science 34 (1), 63-79, 2024
2024
Free dcpo-algebras via directed spaces
Y Chen, H Kou, Z Lyu
arXiv preprint arXiv:2306.16806, 2023
2023
A note on the category of c-spaces
Z Lyu, X Xie, H Kou
Electronic Notes in Theoretical Informatics and Computer Science 2, 2023
2023
The Directed Probabilistic Powerspace
X Xie, H Kou, Z Lyu
arXiv preprint arXiv:2203.04506, 2022
2022
A Cartesian Closed Category of Domains with Almost Algebraic Bases
Z Lyu, H Kou
Electronic Notes in Theoretical Computer Science 345, 143-168, 2019
2019
系统目前无法执行此操作,请稍后再试。
文章 1–12