BibTeX记录日志/corr/abs-2107-01594
@文章{DBLP:journals/corr/abs-2107-01594, author={尼古拉·克劳斯和 雅各布·冯·劳默}, title={重写相干定理及其在同伦类型理论中的应用}, 日志={CoRR}, 体积={abs/2107.01594}, 年份={2021}, url={ https://arxiv.org/abs/2107.01594 }, eprinttype={arXiv}, eprint={2107.01594}, timestamp={2022年10月2日,星期日15:32:16+0200}, biburl={ https://dblp.org/rec/journals/corr/abs-2107-01594.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }