停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

尼古拉·克劳斯

>主页 >珀森斯

人员信息

隶属关系： 英国诺丁汉大学

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/AnnenkovCKS24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/AnnenkovCKS24
丹尼尔·安尼科夫,保罗·卡普里奥蒂,尼古拉·克劳斯,克里斯蒂安·萨特勒:
二能级类型理论与应用——ERRATUM。数学。结构。计算。科学。 34(1):80(2024)
[i17]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2401-15037
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2401-15037
皮埃尔·卡涅,乌尔里克·巴赫霍尔茨,尼古拉·克劳斯,马克·贝泽姆:
关于单价基础中球体的对称性。 CoRR公司 abs/2401.15037(2024)
2023
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/AnnenkovCKS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/AnnenkovCKS23
丹尼尔·安尼科夫,保罗·卡普里奥蒂,尼古拉·克劳斯,克里斯蒂安·萨特勒:
二级类型理论及其应用。数学。结构。计算。科学。 33(8):688-743(2023)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KrausFX23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KrausFX23
尼古拉·克劳斯,弗雷德里克·诺德瓦尔·福斯伯格,许创杰:
序数的类型理论方法。西奥。计算。科学。 957:113843(2023)
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JongKFX23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JongKFX23
汤姆·德容,尼古拉·克劳斯,弗雷德里克·诺德瓦尔·福斯伯格,许创杰:
设置理论和类型理论命令的巧合。许可证 2023:1月13日
[i16]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2301-10696
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2301-10696
汤姆·德容,尼古拉·克劳斯,弗雷德里克·诺德瓦尔·福斯伯格,许创杰:
设置理论和类型理论命令的巧合。 CoRR公司 abs/2301.10696(2023)
2022
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/KrausR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/KrausR22
尼古拉·克劳斯,雅各布·冯·劳默:
重写相干定理及其在同伦类型理论中的应用。数学。结构。计算。科学。 32(7):982-1014(2022)
【i15】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2208-03844
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-03844
尼古拉·克劳斯,弗雷德里克·诺德瓦尔·福斯伯格,许创杰:
序数的类型论方法。 CoRR公司 abs/2208.03844(2022)
2021
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Kraus公司21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kraus21
尼古拉·克劳斯:
依赖型理论的内部∞分类模型：走向2LTT吃HoTT。许可证 2021:1-14
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/KrausFX21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/KrausFX21
尼古拉·克劳斯,弗雷德里克·诺德瓦尔·福斯伯格,许创杰:
同伦类型理论中序词的连接构造概念。 MFCS公司 2021:70:1-70:16
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2104-02549
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-02549
尼古拉·克劳斯,弗雷德里克·诺德瓦尔·福斯伯格,许创杰:
同伦类型理论中序词的连接构造概念。 CoRR公司 abs/2104.02549(2021)
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2107-01594
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-01594
尼古拉·克劳斯,雅各布·冯·劳默:
重写相干定理及其在同伦类型理论中的应用。 CoRR公司 abs/2107.01594(2021)
2020
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icphys/KrausVB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icphys/KrausVB20
尼古拉·克劳斯,马克·维特尔,奥利弗·伯格:
通过IEEE 11073面向服务的设备连接控制KNX设备。 ICPS公司 2020:421-424
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KrausR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KrausR20
尼古拉·克劳斯,雅各布·冯·劳默:
通过良好基础实现一致性：同伦类型理论中的集合商。许可证 2020:662-675
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-07655
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-07655
尼古拉·克劳斯,雅各布·冯·劳默:
通过良好基础实现一致性。 CoRR公司腹肌/2001.07655(2020)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2009-01883
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2009-01883
尼古拉·克劳斯:
依赖型理论的内部∞分类模型：走向2LTT吃HoTT。 CoRR公司 abs/2009.01883(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KrausR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KrausR19
尼古拉·克劳斯,雅各布·冯·劳默:
同伦类型理论中高归纳类型的路径空间。许可证 2019:1月13日
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/KaposiKK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/KaposiKK19
卡波西琥珀,安德拉斯·科瓦奇,尼古拉·克劳斯:
类型理论的肤浅嵌入在道德上是正确的。最大功率控制 2019:329-365
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/PinyoK19型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/PinyoK19
枪Pinyo,尼古拉·克劳斯:
从立方体到扭曲立方体，通过类型理论中的图形态。类型 2019:5分-5秒18
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1901-06022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1901-06022
尼古拉·克劳斯,雅各布·冯·劳默:
同伦类型理论中高归纳类型的路径空间。 CoRR公司腹肌/1901.06022(2019)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1902-10820
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-10820
Pinyo枪,尼古拉·克劳斯:
从立方体到扭曲立方体，通过类型理论中的图形态。 CoRR公司 abs/1902.10820(2019)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1907-07562
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-07562
卡波西琥珀,安德拉斯·科瓦奇,尼古拉·克劳斯:
类型理论的肤浅嵌入在道德上是正确的。 CoRR公司 abs/1907.07562(2019)
2018
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/CapriottiK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/C卡普里奥蒂K18
保罗·卡普里奥蒂,尼古拉·克劳斯:
通过完整的Semi-Segal类型的单价更高类别。程序。ACM计划。语言。 2(POPL公司):44:1-44:29(2018)
[c9]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AltenkirchCDKF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AltenkirchCDKF18
托尔斯滕·阿滕柯奇,保罗·卡普里奥蒂,Gabe Dijkstra公司,尼古拉·克劳斯,弗雷德里克·诺德瓦尔·福斯伯格:
商电感类型。 FoSSaCS公司 2018:293-310
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KrausA18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KrausA18
尼古拉·克劳斯,托尔斯滕·阿滕柯奇:
同伦类型理论中的自由高级群。许可证 2018:599-608
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1805-02069
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1805-02069
尼古拉·克劳斯,托尔斯滕·阿滕柯奇:
同构型理论中的自由高等群。 CoRR公司 abs/1805.02069(2018)
2017
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/KrausECA16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KrausECA16
尼古拉·克劳斯,马丁·埃斯卡多,蒂埃里·科昆,托尔斯滕·阿滕柯奇:
马丁·洛夫类型理论中的匿名存在概念。日志。方法计算。科学。 13(1)(2017)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AltenkirchDK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AltenkirchDK17
托尔斯滕·阿滕柯奇,尼尔斯·安德斯·丹尼尔森,尼古拉·克劳斯:
偏性，重新审视——偏性单体作为商归纳感应类型。 FoSSaCS公司 2017:534-549
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KrausS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KrausS17
尼古拉·克劳斯,克里斯蒂安·萨特勒:
空间值图，理论类型（扩展抽象）。 CoRR公司 abs/1704.04543(2017)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AnnenkovCK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AnnenkovCK17
达尼尔·阿涅科夫,保罗·卡普里奥蒂,尼古拉·克劳斯:
二级类型理论与应用。 CoRR公司腹肌/1705.03307(2017)
2016
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/AltenkirchCK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AltenkirchCK16
托尔斯滕·阿滕柯奇,保罗·卡普里奥蒂,尼古拉·克劳斯:
用严格等式推广同伦类型理论。 CSL公司 2016:21:1-21:17
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Kraus公司16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kraus16
尼古拉·克劳斯:
非安全高归纳类型的结构。许可证 2016:595-604
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AltenkirchCK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AltenkirchCK16
托尔斯滕·阿滕柯奇,保罗·卡普里奥蒂,尼古拉·克劳斯:
用严格等式推广同伦类型理论。 CoRR公司 abs/1604.03799(2016)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AltenkirchDK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AltenkirchDK16
托尔斯滕·阿滕柯奇,尼尔斯·安德斯·丹尼尔森,尼古拉·克劳斯:
偏性，重新审视：偏性单体作为商感应类型。 CoRR公司腹肌/1610.09254(2016)
2015
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/民族精神/克劳斯15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Kraus15
尼古拉·克劳斯:
同伦类型理论中的截断能级。英国诺丁汉大学，2015
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/KrausS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/KrausS15
尼古拉·克劳斯,克里斯蒂安·萨特勒:
单价宇宙层次中的高级同伦。 ACM事务处理。计算。日志。 16(2):18:1-18:12(2015)
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/CapriottiKV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/CapriottiKV15
保罗·卡普里奥蒂,尼古拉·克劳斯,安德烈亚·维佐西:
高级截断之外的函数。 CSL公司 2015:359-373
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/CapriottiKV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/C卡普里奥蒂KV15
保罗·卡普里奥蒂,尼古拉·克劳斯,安德烈亚·维佐西:
高级截断之外的函数。 CoRR公司 abs/1507.01150(2015)
2014
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Kraus14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Kraus14
尼古拉·克劳斯:
命题截断的一般泛性质。类型 2014:111-145
2013
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/克劳斯ECA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/KrausECA13网站
尼古拉·克劳斯,马丁·霍泽尔·埃斯卡多,蒂埃里·科昆,托尔斯滕·阿滕柯奇:
Hedberg定理的推广。薄层色谱分析 2013:173-188
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KrausS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KrausS13
尼古拉·克劳斯,克里斯蒂安·萨特勒:
关于单价宇宙的层次结构：U（n）不是n-截断的。 CoRR公司 abs/1311.4002(2013)
2011
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1111-0085
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1111-0085
安德烈亚斯·阿贝尔,尼古拉·克劳斯:
线性序逻辑启发下的Lambda项表示。 LFMTP公司 2011:1月13日

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。