波拉·塞韦利;德弗里斯，Fer-Jan 一个扩展的Böhm模型。 （英语） Zbl 1169.03329号 苏菲·蒂森（编辑），《重写技术与应用》。第13届国际会议，RTA 2002，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43916-1）。莱克特。票据计算。科学。2378, 159-173 (2002). 摘要：我们证明了具有beta和eta的有限扩张lambda演算的无穷合流和正规扩张的存在性。除了无限β约化外，在这种扩展中也可能有无限β约简，并且没有头部正规形式的项可以降到底部。作为推论，我们得到了有限lambda演算的扩展Böhm模型的简单、基于语法的构造；以及一个简单的、基于语法的证明，证明两个lambda术语在该模型中具有相同的语义当且仅当它们具有相同的eta-Böhm树当且仅在它们相对于beta范式在观测上等价时。汇流证明通过无限交换和延迟参数将beta、bottom和eta的汇流减少为beta和bottom的汇流以及eta的合流。基于对无弱头范式项和无顶范式项（根活动项）的识别，我们分别给出了反对相似扩张合流的反例。关于整个系列，请参见[Zbl 0992.00043号]. 引用于8文件 MSC公司： 03B40型 组合逻辑与lambda演算 PDF格式BibTeX公司 XML格式引用 \textit{P.Severi}和\textit{F.-J.de Vries}，莱克特。票据计算。科学。2378159-173（2002年；兹bl 1169.03329） 全文： 链接