Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
复制标题
笛卡尔三次计算类型理论：路径和等式的构造性推理
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Harper, Robert
中科院分区：
文献类型：
--
作者：
Angiuli, Carlo;Hou, Kuen-Bang;Harper, Robert
登录
查看更多内容
类型论的等价公理和单价模型。
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
V. Voevodsky
通讯作者：
V. Voevodsky
同伦型理论的三次模型
影响因子：
0.8
作者：
S. Awodey
通讯作者：
S. Awodey
笛卡尔立方类型理论
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
C. Angiuli;T. Coquand;R. Harper;Daniel R. Licata
通讯作者：
Daniel R. Licata
走向正式验证的证明助手
DOI：
--
发表时间：
2014
期刊：
International Conference on Interactive Theorem Proving
影响因子：
--
作者：
A. Anand;Vincent Rahli
通讯作者：
Vincent Rahli
各种立方体套装
DOI：
--
发表时间：
2017
期刊：
International Conference on Relational and Algebraic Methods in Computer Science
影响因子：
--
作者：
Ulrik Buchholtz;Edward Morehouse
通讯作者：
Edward Morehouse