TY  - RPRT
TI  - Free dcpo-algebras via directed spaces
AU  - Yuxu Chen
AU  - Hui Kou
AU  - Zhenchao Lyu
PY  - 2023
UR  - https://arxiv.org/abs/2306.16806
ID  - 2306.16806
ER  -