可口、蒂埃里；西蒙·胡贝尔；克里斯蒂安·萨特勒 立方型理论的规范性和同伦规范性。 （英语） 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 1529.18006号 数学。结构。计算。科学。 31，第9期，979-1002（2021）. 审核人：Hirokazu Nishimura（筑波） MSC公司：18层20 03B38型 18号45 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，《数学》。结构。计算。科学。第9号第31页，979页--1002页（2021年；兹bl 1529.18006） 全文： DOI程序 arXiv公司
卡洛·安吉乌利；纪尧姆·布鲁内里；可口、蒂埃里；罗伯特·哈珀；Hou（Favonia）、Kuen-Bang；丹尼尔·R·利卡塔。 笛卡尔立方类型理论的句法和模型。 （英语） Zbl 1529.03123号 数学。结构。计算。科学。 31，第4期，424-468（2021）.MSC公司：03B38型 55单位35 18号45 PDF格式BibTeX公司 XML格式引用 \textit{C.Angiuli}等人，数学。结构。计算。科学。31，第4号，424--468（2021；Zbl 1529.03123） 全文： DOI程序
西里尔·科恩；可口、蒂埃里；西蒙·胡贝尔；安德斯·莫特伯格 立方型理论：对单价公理的建设性解释。 （英语） Zbl 1434.03036号 Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第5条，第34页（2018年）。MSC公司：03B38型 03楼50 55单位35 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Cohen}等人，LIPIcs——莱布尼茨国际程序。通知。69，第5条，第34页（2018；Zbl 1434.03036） 全文： DOI程序 arXiv公司