拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 模态从属类型理论和从属右伴随词。 (英语) Zbl 1479.03011号 数学。结构。计算。科学。 30,第2期,118-138(2020年).MSC公司:03B38型 03B40型 03B45号 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,数学。结构。计算。科学。30,第2号,118--138(2020;Zbl 1479.03011) 全文: 内政部 arXiv公司
埃格伯特,里克;迈克尔·舒尔曼;溅出物,Bas 同伦类型理论中的模态。 (英语) Zbl 1489.03005号 日志。方法计算。科学。 16,第1号,第2号论文,79页(2020年). 审核人:Hirokazu Nishimura(筑波) MSC公司:03B38型 03B45号 03G30型 18号45 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{E.Rijke}等人,日志。方法计算。科学。16,第1号,第2号论文,79页(2020;Zbl 1489.03005) 全文: arXiv公司
拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格,格拉思沃尔;溅出物,Bas;安德烈亚·维佐西 守卫立方体理论。 (英语) Zbl 1477.03034号 J.汽车。推理 63,第211-253号(2019).MSC公司:03B38型 55单位35 18层20 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,J.Autom。推理63,No.2,211--253(2019;Zbl 1477.03034) 全文: 内政部 arXiv公司 链接