Coherence for bicategorical cartesian closed structure
Coherence for bicategorical cartesian closed structure
复制标题
双分类笛卡尔封闭结构的一致性
DOI：
10.1017/s0960129521000281
复制
发表时间：
2021
影响因子：
0.5
通讯作者：
Fiore M
中科院分区：
文献类型：
--
作者：
Fiore M
登录
查看更多内容
走向重写的证明理论：简单类型的 2l 演算
影响因子：
1.1
作者：
B. Hilken
通讯作者：
B. Hilken
三类的连贯性
影响因子：
0.8
作者：
R. Gordon;A. Power;R. Street
通讯作者：
R. Street
双类别和索引类别的一致性
DOI：
--
发表时间：
1985
期刊：
影响因子：
--
作者：
S. Maclane;R. Paré
通讯作者：
R. Paré
笛卡尔封闭双范畴：类型理论和连贯性
DOI：
10.17863/cam.55080
发表时间：
2020
期刊：
ArXiv
影响因子：
--
作者：
P. Saville
通讯作者：
P. Saville
树自动机完成的完整性
DOI：
10.4230/lipics.fscd.2018.16
发表时间：
2018
期刊：
Foundations of Software Science and Computation Structures
影响因子：
--
作者：
T. Genet
通讯作者：
T. Genet