斯特凡·布隆 基于近似的无限lambda计算方法。 （英语） Zbl 1187.03013号 van Oostrom，Vincent（编辑），重写技术和应用。2004年6月3日至5日在德国亚琛举行的2004年RTA第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22153-0/pbk）。计算机科学课堂讲稿3091221-232（2004）。 摘要：我们在具有超限约简序列的无穷lambda演算的上下文中探索了度量极限的另一种选择。我们将展示如何使用新方法来获得与Kennaway等人的111、101和001无穷lambda计算相对应的计算，这些计算已被证明分别对应于Berarducci树、Levy-Longo树和Böhm树。我们将识别度量计算的无意义项集的子集，并证明基于近似的计算与这些子集的度量对应项等价。关于整个系列，请参见[Zbl 1052.68009号]. 引用于三文件 理学硕士： 03B40型 组合逻辑与lambda演算 2012年第68季度 语法和重写系统 关键词：λ演算;无限重写 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}，莱克特。注释计算。科学。3091、221--232（2004年；Zbl 1187.03013） 全文： 内政部