TY  - RPRT
TI  - Powerdomains and nondeterminism in synthetic domain theory
AU  - Yue Niu
AU  - Taro Sekiyama
PY  - 2026
UR  - https://arxiv.org/abs/2606.22238
ID  - 2606.22238
ER  -