亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;乌韦·沃尔德曼 无λ高阶逻辑的叠加。 （英语） 兹比尔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公司 链接
贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;德米特里·特拉泰尔 Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 （英语） Zbl 1434.03025号 Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第11条，第18页（2017年）。MSC公司：03B35型 03B25号 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，LIPIcs——莱布尼茨国际程序。通知。84，第11条，第18页（2017年；Zbl 1434.03025） 全文： 内政部