贾晓东 0002
人员信息
附属: 湖南大学数学学院 隶属关系(2019-2021): 美国洛杉矶新奥尔良杜兰大学计算机科学系 隶属关系(2018-2019): 法国LSV巴黎萨克利大学
其他同名人员
优化列表
2020年–今天
2023 [j8] 让·古堡-拉雷克 , 贾晓东 , Clément Théron公司 :
统计编程语言的领域理论方法。 美国临床医学杂志 70 ( 5 ) : 35:1-35:63 ( 2023 ) 2022 [j7] 贾晓东 , 安德烈·科内尔 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
变分量子编程的语义。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-31 ( 2022 ) 【c5】 让·古堡-拉雷克 , 贾晓东 :
持续R估值。 ISDT公司 2022 [i7] 让·古堡-拉雷克 , 贾晓东 :
锥理论重心存在定理。 CoRR公司 abs/2209.14005 ( 2022 ) 2021 [j6] 让·古堡-拉雷克 , 贾晓东 :
分离最小估值、点控制估值和连续估值。 数学。 结构。 计算。 科学。 31 ( 6 ) : 614-632 ( 2021 ) 【c4】 贾晓东 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
《中央估价单》(早期思想)。 CALCO公司 2021 : 18:1-18:5 【c3】 贾晓东 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
概率编程语言的交换单数。 低收入国家 2021 : 1-14 [i6] 贾晓东 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
概率程序设计语言的交换Monad。 CoRR公司 abs/2102.00510 ( 2021 ) [i5] Jean Goubault Larrecq公司 , 贾晓东 , Clément Théron公司 :
统计程序设计语言的领域理论方法。 CoRR公司 abs/2106.16190 ( 2021 ) [i4] 贾晓东 , 安德烈·科内尔 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
变分量子编程的语义。 CoRR公司 abs/2107.13347 ( 2021 ) [i3] 让·古堡-拉雷克 , 贾晓东 :
将最小估值、点控制估值和连续估值分开。 CoRR公司 腹肌/2109.00426 ( 2021 ) [i2] 贾晓东 , 迈克尔·米斯洛夫 , 弗拉基米尔·赞季耶夫 :
中央估价单。 CoRR公司 abs/2111.10873 ( 2021 ) 2020 [j5] 贾晓东 :
秩序模糊单体。 申请。 分类结构。 28 ( 5 ) : 845-852 ( 2020 ) [i1] 贾晓东 , 迈克尔·米斯洛夫 :
完成K类的简单评估。 CoRR公司 abs/2002.01865 ( 2020 )
2010 – 2019
2019 [c2] 马修·德·布莱希特 , 让·古堡-拉雷克 , 贾晓东 , 吕振超 :
域完备和LCS-complete空间。 ISDT公司 2019 : 3-35 【c1】 Jean Goubault Larrecq公司 , 贾晓东 :
扩展概率幂域单子代数。 ISDT公司 2019 : 37-61 2018 【b1】 贾晓东 :
满足连续性和局部紧清醒dcpos。 英国伯明翰大学, 2018 【j4】 张忠熙 , 李庆国 , 贾晓东 :
偏序集的θ-连续性和Dθ-完备。 数学。 结构。 计算。 科学。 28 ( 4 ) : 533-547 ( 2018 ) 2017 [j3] 张忠熙 , 李庆国 , 贾晓东 :
CONT子范畴的笛卡尔闭扩张。 订单 34 ( 三 ) : 513-521 ( 2017 ) 2015 [注2] 贾晓东 , 阿奇姆·荣格 , 惠口 , 李庆国 , 赵浩然 :
拟连续域的所有笛卡尔闭范畴都由域组成。 西奥。 计算。 科学。 594 : 143-150 ( 2015 ) 2014 [j1] 郭兰坤 , 李庆国 , 贾晓东 :
关于低概念公式系统的阶理论性质。 软计算。 18 ( 2 ) : 207-216 ( 2014 )