雷纳尔德·阿弗尔德;西里尔·科恩 在依赖型理论中用可拓方法度量结构，并将其应用于集成。 （英语） 兹伯利07739778 J.自动化。推理 67，第3期，第28号论文，27页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}和\textit{C.Cohen}，J.Autom。推理67，第3号，论文28，27页（2023；Zbl 07739778） 全文： 内政部 arXiv公司
雷纳尔德·阿弗尔德;西里尔·科恩;玛丽·柯让;阿西亚·马布比;Damien Rouhling公司;坂口和彦 依赖型理论中的竞争继承路径：功能分析中的一个案例研究。 （英语） Zbl 07614659号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 3-20 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人，Lect。注释计算。科学。12167，3--20（2020；Zbl 07614659） 全文： 内政部
西里尔·科恩;Damien Rouhling公司 拉萨尔不变性原理的Coq形式证明。 （英语） Zbl 1484.68315号 Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 148-163 (2017).MSC公司：68V20型 34D20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cohen}和\textit{D.Rouhling}，莱克特。注释计算。科学。10499，148--163（2017；Zbl 1484.68315） 全文： 内政部 哈尔