皮埃尔·卢伊斯·居里;亚历杭德罗·雷奥斯 不完整的结果是明确的替代。（显式替换的完整性结果）。 （法语） Zbl 0717.68053号 C.R.学院。科学。，巴黎，Sér。我 312，No.6，471-476（1991）. 小结：我们建立了（lambda\sigma\）-演算相对于（lambda \）-微积分的完备性结果。特别地，我们将\（lambda\sigma\）-calculates构造为\（lampda\）-claculates，即当源项的翻译是typable（具有相同类型）时，它就是typable。我们仅限于一阶类型。 引用于1文件 MSC公司： 68瓦30 符号计算和代数计算 03B40型 组合逻辑与lambda演算 关键词：替代;关闭操作 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}和\textit{A.Ríos}，C.R.学院。科学。，巴黎，Sér。I 312，编号6，471--476（1991；Zbl 0717.68053）