丹尼尔·安尼科夫;保罗·卡普里奥蒂;尼古拉·克劳斯;萨特勒，克里斯蒂安 二级类型理论及其应用。 （英语） Zbl 07813366号 数学。结构。计算。科学。 33，第8号，688-743（2023）; 勘误表同上，第34号，第1、80页（2024年）。MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Annenkov}等人，《数学》。结构。计算。科学。33，编号8，688--743（2023；Zbl 07813366） 全文： 内政部 arXiv公司 OA许可证
阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛Veltri;范德维德，尼尔斯 单价基础中的双类别。 （英语） Zbl 1514.18019号 数学。结构。计算。科学。 31，第10号，1232-1269（2021）.MSC公司：18N10型 03立方厘米38 18号45 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，《数学》。结构。计算。科学。31，第10号，1232--1269（2021；Zbl 1514.18019） 全文： 内政部