Manuscripts
- Yue Niu
Manuscripts
- Yue Niu
Entries
Entries
■ Reference. Powerdomains and nondeterminism in synthetic domain theory [niu-sekiyama-2026]
- June 20, 2026
- Yue Niu, Taro Sekiyama
- arXiv
■ Reference. Powerdomains and nondeterminism in synthetic domain theory [niu-sekiyama-2026]
- June 20, 2026
- Yue Niu, Taro Sekiyama
- arXiv
■ Reference. Cost-Aware Type Theory [niu-harper-2020]
- November 7, 2020
- Yue Niu, Robert Harper
- arXiv
■ Reference. Cost-Aware Type Theory [niu-harper-2020]
- November 7, 2020
- Yue Niu, Robert Harper
- arXiv