Algebraic Presentations of Dependent Type Theories
Algebraic Presentations of Dependent Type Theories
复制标题
依赖类型理论的代数表示
DOI：
10.48550/arxiv.2111.09948
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Ahrens B
中科院分区：
文献类型：
--
作者：
Ahrens B
登录
查看更多内容
影响因子：
0.8
作者：
CARTMELL, J
通讯作者：
CARTMELL, J
B系统
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
Vladimir Voevodsky
通讯作者：
Vladimir Voevodsky
C 系统的子系统和正则商
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
V. Voevodsky
通讯作者：
V. Voevodsky
影响因子：
0.5
作者：
Valery Isaev
通讯作者：
Valery Isaev
部分 Horn 逻辑和笛卡尔类别
影响因子：
0.8
作者：
Erik Palmgren;S. Vickers
通讯作者：
S. Vickers