雅各布·冯·劳默
人员信息
优化列表
2020年–今天
2022 [j3] 尼古拉·克劳斯 , 雅各布·冯·劳默 :
重写相干定理及其在同伦类型理论中的应用。 数学。 结构。 计算。 科学。 32 ( 7 ) : 982-1014 ( 2022 ) 2021 [i4] 尼古拉·克劳斯 , 雅各布·冯·劳默 :
重写相干定理及其在同伦类型理论中的应用。 CoRR公司 abs/2107.01594 ( 2021 ) 2020 【b1】 雅各布·冯·劳默 :
高级感应类型、感应族和感应感应类型。 英国诺丁汉大学, 2020 【c6】 卡波西琥珀 , 雅各布·冯·劳默 :
互归纳族的语法。 金融稳定与发展部 2020 : 23:1-23:21 【c5】 尼古拉·克劳斯 , 雅各布·冯·劳默 :
通过良好基础实现一致性:同伦类型理论中的集合商。 低收入国家 2020 : 662-675 [i3] 尼古拉·克劳斯 , 雅各布·冯·劳默 :
通过良好基础实现一致性。 CoRR公司 abs/2001.07655 ( 2020 )
2010 – 2019
2019 【c4】 尼古拉·克劳斯 , 雅各布·冯·劳默 :
同伦类型理论中高归纳类型的路径空间。 低收入国家 2019 : 1-13 [i2] 尼古拉·克劳斯 , 雅各布·冯·劳默 :
同伦类型理论中高归纳类型的路径空间。 CoRR公司 abs/1901.06022 ( 2019 ) 2017 【c3】 弗洛里斯·范·道恩 , 雅各布·冯·劳默 , 乌尔里克·巴赫霍尔茨 :
精益中的同伦类型理论。 ITP公司 2017 : 479-495 [i1] 乌尔里克·巴赫霍尔茨 , 弗洛里斯·范·道恩 , 雅各布·冯·劳默 :
精益中的同伦类型理论。 CoRR公司 abs/1704.06781 ( 2017 ) 2016 【c2】 雅各布·冯·劳默 :
在Lean定理证明器中形式化双群胚和交叉模。 信息和通信管理系统 2016 : 28-33 2015 【c1】 莱昂纳多·门登萨·德·莫拉 , Soonho Kong公司 , 杰里米·阿维加德 , 弗洛里斯·范·道恩 , 雅各布·冯·劳默 :
精益定理证明器(系统描述)。 CADE公司 2015 : 378-388 2014 [注2] 雅各布·冯·劳默 :
次要西洛定理。 架构(architecture)。 正式证明 2014 ( 2014 ) [j1] 雅各布·冯·劳默 :
Jordan-Hölder定理。 架构(architecture)。 正式证明 2014 ( 2014 )