We stand with Ukraine  

Zhenchao Lyu

Orcid: 0000-0003-2685-1180

According to our database1, Zhenchao Lyu authored at least 7 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Upper powerdomains of quasicontinuous dcpos.
[BibTeX]
[DOI]
Yuxu Chen
,
Hui Kou
,
Zhenchao Lyu
Theor. Comput. Sci., 2024

A construction of free dcpo-cones.
[BibTeX]
[DOI]
Yuxu Chen
,
Hui Kou
,
Zhenchao Lyu
,
Xiaolin Xie
Math. Struct. Comput. Sci., 2024

2023
Free dcpo-algebras via directed spaces.
[BibTeX]
[DOI]
Yuxu Chen
,
Hui Kou
,
Zhenchao Lyu
CoRR, 2023

2022
A note on the category of c-spaces.
[BibTeX]
[DOI]
Zhenchao Lyu
,
Xiaolin Xie
,
Hui Kou
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, 2022

Continuity on directed spaces.
[BibTeX]
[DOI]
Yuxu Chen
,
Hui Kou
,
Zhenchao Lyu
CoRR, 2022

2019
A Cartesian Closed Category of Domains with Almost Algebraic Bases.
[BibTeX]
[DOI]
Zhenchao Lyu
,
Hui Kou
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019

Domain-complete and LCS-complete Spaces.
[BibTeX]
[DOI]
Matthew de Brecht
,
Jean Goubault-Larrecq
,
Xiaodong Jia
,
Zhenchao Lyu
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019


  Loading...