拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯(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 1477.03034号 J.汽车。推理 63,第2号,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公司 链接
丹尼尔·李卡塔(Daniel R.Licata)。;伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 同伦类型理论模型中的内部宇宙。 (英文) 兹比尔1462.03010 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第22条,第17页(2018年)。MSC公司:03B38型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Licata}等人,LIPIcs——莱布尼茨国际程序。通知。108,第22条,第17页(2018;Zbl 1462.03010) 全文: 内政部 arXiv公司
罗素·奥康纳;溅出物,Bas 计算机验证的积分的一元函数实现。 (英文) Zbl 1209.68108号 西奥。计算。科学。 411,编号373386-3402(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.O'Connor}和\textit{B.Spitters},Theor。计算。科学。411,第37号,3386--3402(2010;Zbl 1209.68108) 全文: 内政部 arXiv公司