埃格伯特·里杰克;迈克尔·舒尔曼;溅出物,Bas 同伦类型理论中的模态。 (英语) Zbl 1489.03005号 日志。方法计算。科学。 16,第1号,第2号论文,第79页(2020). 审核人:Hirokazu Nishimura(筑波) 理学硕士:03B38型 03B45号 03克30 18号45 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{E.Rijke}等人,日志。方法计算。科学。16,第1号,第2号文件,79页(2020;兹bl 1489.03005) 全文: arXiv公司
罗伯特·克雷伯斯;溅出物,Bas 中高效精确实数运算的类型类Coq公司. (英语) Zbl 1260.68378号 日志。方法计算。科学。 9,第1期,第1号论文,27页(2013年).理学硕士:68吨15 65G99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Krebbers}和\textit{B.Spitters},日志。方法计算。科学。9,第1期,第1号论文,27页(2013;Zbl 1260.68378) 全文: arXiv公司
溅出物,Bas 几乎周期函数,具有建设性。 (英语) Zbl 1125.03046号 日志。方法计算。科学。 第1卷第3期,论文3,第7页(2005年).理学硕士:03层60 PDF格式BibTeX公司 XML格式引用 \textit{B.Spitters},日志。方法计算。科学。1,第3号,论文3,第7页(2005年;Zbl 1125.03046) 全文: 内政部