重写相干定理及其在同伦类型理论中的应用
摘要
出版物: -
arXiv电子打印 发布日期: 2021年7月 内政部: -
10.48550/arXiv.2107.01594 arXiv: -
arXiv公司:2107.01594 书目代码: -
2021arXiv210701594K 关键词: -
计算机科学——计算机科学中的逻辑; 数学-逻辑; 第4.1条
电子打印: 34页