拓扑空间的交连续性与拟Polish空间范畴
12001181
2020
A0602.信息技术与不确定性的数学理论与方法
贾晓东
青年科学基金项目
副研究员
湖南大学
24万元
概率幂domain;Domain理论;交连续dcpo;笛卡尔闭范畴;FS-domain
2021-01-01到2023-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Core-compactness, consonance and the Smyth powerspaces | 期刊论文 | Zhenchao Lyu;Yu Chen;Xiaodong Jia |
| 2 | Semantics for Variational Quantum Programming | 会议论文 | Xiaodong Jia;Andre Kornell;Bert Lindenhovius;Michael Mislove;Vladimir Zamdzhiev |
| 3 | Separating minimal valuations, point-continuous valuations, and continuous valuations | 期刊论文 | Jean Goubault-Larrecq;Xiaodong Jia |
| 4 | A Domain-Theoretic Approach to Statistical Programming Languages | 期刊论文 | Jean Goubault-Larrecq;Xiaodong Jia;Clément Théron |
| 5 | The Central Valuations Monad | 会议论文 | Xiaodong Jia;Michael Mislove;Vladimir Zamdzhiev |
| 6 | On the equivalence of Rudin's Lemma and the Boolean prime ideal theorem | 期刊论文 | Mengqiao Huang;Xiaodong Jia;Qingguo Li |
| 7 | Completing simple valuations in K-categories | 期刊论文 | Xiaodong Jia;Michael Mislove |
查看更多信息请先登录或注册
