Free Commutative Monoids in Homotopy Type Theory
Free Commutative Monoids in Homotopy Type Theory
复制标题
同伦型理论中的自由交换幺半群
DOI：
10.46298/entics.10492
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Choudhury V
中科院分区：
文献类型：
--
作者：
Choudhury V
登录
查看更多内容
积分不够就够了
DOI：
10.1007/978-3-540-74915-8_24
发表时间：
2007
影响因子：
0.8
作者：
A. Bucciarelli;T. Ehrhard;Giulio Manzonetto
通讯作者：
Giulio Manzonetto
DOI：
10.1016/j.tcs.2014.03.005
发表时间：
2013
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
M. Hyland
通讯作者：
M. Hyland
立方计算类型理论中的更高归纳类型
影响因子：
--
作者：
Evan Cavallo;R. Harper
通讯作者：
R. Harper
影响因子：
1.8
作者：
Vezzosi, Andrea;Mortberg, Anders;Abel, Andreas
通讯作者：
Abel, Andreas
同伦类型论中的高级群
DOI：
10.1145/3209108.3209150
发表时间：
2018
期刊：
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Ulrik Buchholtz;Floris van Doorn;E. Rijke
通讯作者：
E. Rijke