具有显式宇宙多态性的类型理论

摘要:论文标题:类型理论中宇宙多态性的进一步研究和改进

作者:Marc Bezem, Thierry Coquand, Peter Dybjer, Mart''in Escard''o

论文ID:2212.03284

分类:Logic in Computer Science

分类简称:cs.LO

提交时间:2023-06-05

PDF 下载: 英文版 中文版pdf翻译中