朱利安·比恩达拉;贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;约翰·Hölzl;昆查尔，Ondřej;安德烈亚斯·洛赫比勒;费比安·迈尔;洛伦茨·帕尼;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;雷内·蒂曼;德米特里·特雷特尔 高阶逻辑的基础（co）数据类型和（co）递归。 （英语） Zbl 1495.68238号 Dixon，Clare（编辑）等人，《组合系统的前沿》。2017年9月27日至29日在巴西巴西利亚举行的2017年FroCoS第11届国际研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10483, 3-21 (2017).理学硕士：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{J.Biendarra}等人，Lect。注释计算。科学。10483，3--21（2017；Zbl 1495.68238） 全文： 内政部 哈尔
贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;安德烈亚斯·洛赫比勒;安德烈·波佩斯库;德米特里·特雷特尔 有利益的朋友。在基础证明助手中实现同位语。 （英语） Zbl 1485.68280号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。1020111-140（2017年）。理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，Lect。注释计算。科学。10201、111--140（2017；Zbl 1485.68280） 全文： 内政部