C系的子系和正则商
@文章{Voevodsky2014SubsystemsAR, title={C系的子系和正则商}, 作者={Vladimir Voevodsky}, 日志={arXiv:Logic}, 年份={2014}, url={https://api.semanticscholar.org/CorpusID:11919255} }
32引文
宇宙范畴1定义的C系统中的Martin Lof恒等式
2015
由宇宙范畴定义的C系统中类型族的乘积
2015
C系上类型族和(Pi,lambda)结构的乘积
2017
C系上类型和(∏,λ)-结构族的乘积
2016