尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 马丁·洛夫类型理论中的匿名存在概念。 （英语） Zbl 1377.03005号 日志。方法计算。科学。 13，第1号，第15号论文，36页（2017年）. 审核人：安东尼·博尔吉（普拉哈） MSC公司：03B15号机组 03G30型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Kraus}等人，日志。方法计算。科学。13，第1号，第15号论文，36页（2017；Zbl 1377.03005） 全文： 内政部 arXiv公司
安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 一种用于具有单子类型和证明无关性的类型理论的模块化类型选择算法。 （英语） Zbl 1246.03025号 Curien，Pierre Louis（编辑），类型lambda结石及其应用。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02272-2/pbk）。计算机科学课堂讲稿5608，5-19（2009）。MSC公司：03B35型 03B15号机组 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人，Lect。注释计算。科学。5608、5--19（2009年；Zbl 1246.03025） 全文： 内政部