Haoran Zhao

A stable universal domain related to $\mathbb{T}$ ω

Haoran Zhao, Hui Kou, H. Kou, 2015, Mathematical Structures in Computer Science.

Tω as a Stable Universal Domain

Haoran Zhao, Hui Kou, H. Kou, 2014, ISDT.

AgentSims: An Open-Source Sandbox for Large Language Model Evaluation

Qin Chen, Jiaju Lin, Yiting Wu, 2023, ArXiv.

All cartesian closed categories of quasicontinuous domains consist of domains

Qingguo Li, Xiaodong Jia, Haoran Zhao, 2015, Theor. Comput. Sci..