Quotients, inductive types, and quotient inductive types
Quotients, inductive types, and quotient inductive types
复制标题
商、归纳类型和商归纳类型
DOI：
10.46298/lmcs-18(2:15)2022
复制
发表时间：
2022
影响因子：
0.6
通讯作者：
Fiore M
中科院分区：
文献类型：
--
作者：
Fiore M
登录
查看更多内容
影响因子：
1.8
作者：
Vezzosi, Andrea;Mortberg, Anders;Abel, Andreas
通讯作者：
Abel, Andreas
DOI：
--
发表时间：
2016
期刊：
International Conference on Formal Structures for Computation and Deduction
影响因子：
--
作者：
P. Malbos;S. Mimram
通讯作者：
S. Mimram
类别中基础良好的树木
影响因子：
0.8
作者：
I. Moerdijk;Erik Palmgren
通讯作者：
Erik Palmgren
DOI：
10.1142/s0219061314500056
发表时间：
2012
期刊：
J. Math. Log.
影响因子：
--
作者：
B. V. D. Berg;I. Moerdijk
通讯作者：
I. Moerdijk
范畴在计算机科学中的应用：关于俱乐部和数据类型构造函数
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
G. M. Kelly
通讯作者：
G. M. Kelly