TY  - RPRT
TI  - A non-sober core-compact meet-continuous dcpo
AU  - Yuxu Chen
PY  - 2026
UR  - https://arxiv.org/abs/2610.22033
ID  - 2610.22033
ER  -