摘要：论文标题：类型理论中宇宙多态性的进一步研究和改进
作者：Marc Bezem, Thierry Coquand, Peter Dybjer, Mart''in Escard''o
论文ID：2212.03284
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-05
PDF 下载： 英文版 中文版pdf翻译中