朱利奥·格雷里；卢卡·保里尼；西蒙娜·隆奇·德拉·罗卡 call-by-value lambda-calculus的标准化。 （英语） Zbl 1367.68052号 Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-87-3）。LIPIcs–莱布尼茨国际信息学论文集38，211-225（2015）。 摘要：我们通过两个交换规则（sigma-reduction）研究了Plotkin的按调用值lambda-calculus的扩展。最近，已经证明，这种扩展演算提供了许多语义属性的优雅特征，例如可解性。通过推广Takahashi的并行约简方法，我们证明了该演算的一个标准化定理。标准化特性允许我们证明我们的演算相对于Plotkin演算是保守的。特别地，我们证明了这个微积分的可解性概念与Plotkin的按调用值lambda-calculus的概念一致。关于整个系列，请参见[Zbl 1329.03005号]. 引用于三文件 MSC公司： 68甲18 函数编程和lambda演算 03B40型 组合逻辑与lambda演算 关键词：标准化；序列化；λ-微积分；西格玛还原；平行还原；呼叫值；头道粉碎系统；内部还原；可解性；潜在价值；观察等价 PDF格式BibTeX公司 XML格式引用 \textit｛G.Guerrieri｝等人，LIPIcs——莱布尼茨国际期刊。通知。38、211-225（2015；Zbl 1367.68052） 全文： 内政部