汤姆·德容；Hötzel Escardó，马汀 在单价基础上的小型基础上。 （英语） Zbl 07731919号 日志。方法计算。科学。 19，第2号，第8号论文，33页（2023年）.MSC公司：03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.de Jong}和\textit{M.Hötzel Escardó}，日志。方法计算。科学。19，第2号，第8号论文，33页（2023；Zbl 07731919） 全文： DOI程序 arXiv公司 OA许可证
亚历杭德罗·迪亚斯·卡洛；奥克塔维奥·马勒贝 幺正球中的量子控制：λ-（S_1）及其范畴模型。 （英语） Zbl 07596580号 日志。方法计算。科学。 18，第3号，第32号论文，36页（2022年）.MSC公司：03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{O.Malherbe}，日志。方法计算。科学。18，第3号，第32号论文，36页（2022；Zbl 07596580） 全文： DOI程序 arXiv公司 OA许可证
傅鹏；Kohei的Kishida；彼得·塞林格 量子编程语言的线性相关类型理论。 （英语） Zbl 1503.68039号 日志。方法计算。科学。 18，第3号，第28号论文，44页（2022年）.MSC公司：68甲19 03B38型 2005年5月18日 68甲15 2012年第68季度 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}等人，Log。方法计算。科学。18，第3号，第28号论文，第44页（2022年；Zbl 1503.68039） 全文： DOI程序 arXiv公司 OA许可证
菲奥雷，马塞洛·P。；安德鲁·皮特斯（Andrew M.Pitts）。；南卡罗来纳州斯坦坎普。 商、归纳类型和商归纳类型。 （英语） Zbl 1502.18046号 日志。方法计算。科学。 18，第2号，第15号论文，37页（2022年）. 审核人：菲利普·马尔博斯（里昂） MSC公司：18号45 03B38型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}等人，日志。方法计算。科学。18，第2号，第15号论文，37页（2022年；Zbl 1502.18046） 全文： arXiv公司 链接
乔纳森·斯特林；卡洛·安吉乌利；丹尼尔·格拉泽 主教布景的立体语言。 （英语） Zbl 07566056号 日志。方法计算。科学。 18，第1号，第43号论文，80页（2022年）.MSC公司：03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人，日志。方法计算。科学。18，第1号，第43号论文，80页（2022；Zbl 07566056） 全文： arXiv公司 链接
可口、蒂埃里；西蒙·胡贝尔；克里斯蒂安·萨特勒 立方型理论的规范性和同伦规范性。 （英语） Zbl 1486.03027号 日志。方法计算。科学。 18，第1号，第28号论文，35页（2022年）. 审核人：Hirokazu Nishimura（筑波） MSC公司：03B38型 03G30型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，《日志》。方法计算。科学。18，第1号，第28号论文，第35页（2022年；Zbl 1486.03027） 全文： arXiv公司 链接
埃文·卡瓦洛；罗伯特·哈珀 立方型理论的内部参数。 （英语） Zbl 1508.03047号 日志。方法计算。科学。 17，第4号，第5号论文，60页（2021年）. 审核人：乔纳森·温伯格（巴尔的摩） MSC公司：03B38型 PDF格式BibTeX公司 XML格式引用 \textit｛E.Cavallo｝和\textit｛R.Harper｝，日志。方法计算。科学。17，第4号，第5号论文，60页（2021；Zbl 1508.03047） 全文： arXiv公司 链接
阿伦斯，贝内迪克特；安德烈·赫肖维茨；安布罗瓦斯·拉丰；马可·马格西 可呈现的签名和初始语义。 （英语） Zbl 07379288号 日志。方法计算。科学。 17，第2号，第17号论文，28页（2021年）.MSC公司：第68季度第65季度 03B70型 18立方厘米 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，日志。方法计算。科学。17，第2号，第17号论文，28页（2021；Zbl 07379288） 全文： DOI程序 arXiv公司
尼科洛·维尔特里；范德维德，尼尔斯 将更高的归纳类型构造为类群商。 （英语） Zbl 1498.03037号 日志。方法计算。科学。 17，第2号，第8号论文，42页（2021年）.MSC公司：03B38型 18N10型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{N.Veltri}和\textit{N.van der Weide}，Log。方法计算。科学。17，第2号，第8号文件，第42页（2021；兹bl 1498.03037） 全文： arXiv公司 链接
乌尔里克·巴赫霍尔茨；Hou，Kuen-Bang先生 同伦类型理论中的细胞上同调。 （英语） Zbl 1528.55013号 日志。方法计算。科学。 16，第2号，第7号论文，21页（2020年）.MSC公司：55单位35 03B38型 55N20型 PDF格式BibTeX公司 XML格式引用 \textit{U.Buchholtz}和\textit{K.-B.Hou}，Log。方法计算。科学。16，第2号，第7号论文，21页（2020；Zbl 1528.55013） 全文： arXiv公司 链接
安布罗斯·卡波西；科瓦奇，安德拉斯 高感应类型的特征和感应原理。 （英语） Zbl 1528.03108号 日志。方法计算。科学。 16，第1号，第10号论文，30页（2020年）.MSC公司：03B38型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaposi}和\textit{A.Kovács}，日志。方法计算。科学。16，第1号，第10号论文，30页（2020；Zbl 1528.03108） 全文： 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公司
巴托克·克林；Łełyk，马特乌斯 原子的标量和向量演算。 （英语） Zbl 1442.68108号 日志。方法计算。科学。 15，第4号，第5号论文，47页（2019年）.MSC公司：60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{M.eyk}，日志。方法计算。科学。15，第4号，第5号论文，47页（2019年；Zbl 1442.68108） 全文： arXiv公司
阿伦斯，贝内迪克特；彼得·勒法努·卢姆斯代恩 显示的类别。 （英语） Zbl 1419.18001号 日志。方法计算。科学。 15，第1号，第20号论文，第18页（2019年）. 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：18甲15 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{P.Lefanu Lumsdaine}，Log。方法计算。科学。15，第1号，第20号论文，第18页（2019年；Zbl 1419.18001） 全文： arXiv公司
伊恩·奥尔顿；安德鲁·皮特斯（Andrew M.Pitts）。 基于摩尔路径的类型理论模型。 （英语） Zbl 1509.03055号 日志。方法计算。科学。 15，第1号，第2号论文，24页（2019年）.MSC公司：03B38型 03G30型 18对25 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{I.Orton}和\textit{A.M.Pitts}，Log。方法计算。科学。15，第1号，第2号论文，24页（2019年；Zbl 1509.03055） 全文： DOI程序 arXiv公司
伊恩·奥尔顿；安德鲁·皮特斯（Andrew M.Pitts）。 拓扑中立方体类型理论建模的公理。 （英语） Zbl 1509.03054号 日志。方法计算。科学。 14，第4号，第23号论文，33页（2018年）.MSC公司：03B38型 03G30型 18对25 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{I.Orton}和\textit{A.M.Pitts}，Log。方法计算。科学。14，第4号，第23号论文，33页（2018；Zbl 1509.03054） 全文： DOI程序 arXiv公司
阿伦斯，贝内迪克特；彼得·勒法努·卢姆斯代恩；弗拉基米尔·沃沃德斯基 单价基础中类型理论的分类结构。 （英语） Zbl 1496.03053号 日志。方法计算。科学。 14，第3号，第18号论文，18页（2018）.MSC公司：03B38型 03楼50 18 C50 03B70型 55单位40 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，日志。方法计算。科学。14，第3号，第18号论文，18页（2018；Zbl 1496.03053） 全文： DOI程序 arXiv公司