亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;乌韦州瓦尔德曼 无λ高阶逻辑的叠加。 （英语） Zbl 07350767号 日志。方法计算。科学。 17，第2号，第1号论文，38页（2021）.MSC公司：03B35型 03B16号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人，《日志》。方法计算。科学。17，第2号，第1号论文，38页（2021；Zbl 07350767） 全文： arXiv公司 链接
亚历山大·本特坎普;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁恩斯;乌韦·沃尔德曼 无（lambda）高阶逻辑的叠加。 （英语） Zbl 1511.68302号 Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10900, 28-46 (2018).MSC公司：68伏15 03B16号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人，Lect。注释计算。科学。10900，28-46（2018；Zbl 1511.68302） 全文： 内政部