■ Reference. Powerdomains and nondeterminism in synthetic domain theory [niu-sekiyama-2026]June 20, 2026Yue Niu, Taro SekiyamaarXivAppears in Manuscripts .