德弗里斯，Fer-Jan 关于lambda可定义性中的未定义和无意义。 （英语） 兹比尔1387.68074 Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–莱布尼茨国际信息学学报52，第18条，第15页（2016年）。 摘要：对于推广Bohm模型的无穷项模型，我们区分了部分递归函数的lambda可定义性中使用的未定义项和无限lambda演算中使用的无意义项。虽然有无数已知的无意义术语集，但有四组已知的未定义术语集。这四个词中有两个是毫无意义的词。本文首先给出了一组lambda项作为部分函数lambda可定义项集的充分条件。四组已知的未定义项满足这些条件。接下来，我们找到满足这些条件的最小无意义项集。这个集合在所有无意义项集合的格中处于非常低的位置。任何比这个最小集更大的无意义术语集都是一组未定义的术语。因此，我们发现了无数新的未定义项集。作为我们对lambda可定义性仔细分析的意外收获，我们获得了一个自然修改，即严格的lambda-可定义性，它允许Barendregt式的证明，其中组合的表示是真正的表示组合。关于整个系列，请参见[Zbl 1351.68020号]. 引用于2文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B40型 组合逻辑与lambda演算 关键词：λ-微积分;lambda可定义性;部分递归函数;未定义术语;无意义的词 PDF格式BibTeX公司 XML格式引用 \textit{F.-J.de Vries}，LIPIcs——莱布尼茨国际程序。通知。52，第18条，第15页（2016；Zbl 1387.68074） 全文： DOI程序