米歇尔·帕里戈特 \（lambda\mu）-演算：经典自然演绎的算法解释。 （英语） Zbl 0925.03092号 Voronkov，A.（编辑），《逻辑编程和自动推理》。1992年7月15日至20日，俄罗斯圣彼得堡LPAR’92国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。624, 190-201 (1992). 关于整个系列，请参见[Zbl 0916.00020号]. 引用于5评论引用于148文件 MSC公司： 03B40型 组合逻辑与lambda演算 03B70号 计算机科学中的逻辑 05年3月 切割消除和正规形定理 关键词：证明as-programs范式;经典证明;剪切消除的算法内容;自然扣除;经典逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Pariget}，莱克特。注释计算。科学。624190-201（1992年；Zbl 0925.03092）