贾斯敏·克里斯蒂安·布兰切特;乌韦·沃尔德曼;丹尼尔·旺德 无lambda的高阶递归路径阶。 （英语） Zbl 1486.68085号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。10203461-479（2017年）。MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛J.C.Blanchette｝等人，Lect。注释计算。科学。10203，461——479（2017年；兹比尔1486.68085） 全文： 内政部 哈尔
Jean-Pierre Jouannaud;阿尔伯特·鲁比奥 正常高阶终端。 （英语） Zbl 1354.68140号 ACM事务处理。计算。日志。 16，第2号，第13条，38页（2015年）.MSC公司：2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio}，ACM翻译。计算。日志。16，第2号，第13条，38页（2015；Zbl 1354.68140） 全文： 内政部 链接