×
皮埃尔·克雷古特

Krivine抽象机的强还原变体。 （英语） 兹比尔1130.68052

高-订购符号。计算。 20，第3号，209-230（2007）.
摘要：我们提出了Krivine抽象机的两种变体，它们将lambda-terms简化为完全正规形式。我们通过解释它们在（lambda\sigma）-演算中的行为来证明它们的正确性。

引用于10文件

理学硕士：

2005年第68季度 计算模型（图灵机等）（MSC2010）
03B40型 组合逻辑与lambda演算

关键词：

强大的标准化;抽象机器

软件：

DACTL公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Crégut}，高-订购符号。计算。20，第3号，209--230（2007；Zbl 1130.68052）
全文： 内政部

参考文献：

[1] Abadi，M.，Cardelli，L.，Curien，P.-L.，Lévy，J.-J.：显式替换。In:ACM程序设计语言原则研讨会（1990年）·Zbl 0941.68542号
[2] Ager，M.，Biernacki，D.，Danvy，O.，Midtgaard，J.：求值器和抽象机器之间的功能对应。摘自：PPDP’03第五届ACM Sigplan国际声明性编程原理与实践会议记录，第8–19页（2003）
[3] Argo，G.：改进三指令机器。参加：第四届函数式编程语言和计算机体系结构国际会议，伦敦（1989年）
[4] Asperti，A.：线性逻辑、协和函数和最优约简。基金。Inf.22（1），3-22（1994）·Zbl 0818.03007号
[5] Asperti，A.，Mairson，H.：并行beta缩减不是基本递归。摘自：ACM编程语言原理研讨会，第303–315页（1998年）·兹比尔1005.68037
[6] Barendregt，H.：无类型{\（lambda\）}-演算。摘自：《数学逻辑手册》，第1091-1132页。荷兰北部，阿姆斯特丹（1977），第D.7章
[7] Barendregt，H.：兰姆达微积分。荷兰北部，阿姆斯特丹（1981年）·Zbl 0467.03010号
[8] Barras，B.：Coq中的有效约简函数（1998）。未发布的便笺位于http://pauillac.iria.fr/\（\sim\）barras/减少·Zbl 0927.03018号
[9] Crégut，P.：一个用于｛\（\lambda \）｝-项规范化的抽象机器。在：ACM Lisp和功能编程会议（1990）
[10] 克雷古特（Crégut），P.：《机器与环境》（Machines a environnement pour la réreduction symbolique et l’éevaluation partelle）。巴黎第七大学博士论文（1991年）
[11] Curien，P.-L.，Hardin，T.，Lévy，J.-J.：显式替换的弱计算和强计算的汇合性质。J.ACM 42（2），362–391（1996）·Zbl 0885.03014号 ·数字对象标识代码：10.1145/226643.226675
[12] Fairbairn，J.，Wray，S.：TIM：执行超级合并器的简单、懒惰、抽象机器。In:函数编程和计算机体系结构会议，波特兰（1987）
[13] Glauert，J.R.，Kennaway，R.，Papadopoulos，G.，Sleep，R.：DACTL，一种实验图形重写语言。收录于：Ehrig，H.、Krowsky，H.和Rozenberg，G.（编辑）《图形语法及其在计算机科学中的应用》，第378-395页（1991）
[14] Gontier，G.、Abadi，M.、Lévy，J.-J.：最优约简的几何。摘自：ACM编程语言原理研讨会，第15-26页（1992年）
[15] Grégoire，B.，Leroy，X.：强还原的编译实现。In:函数编程国际会议（ICFP'02）（2002）·Zbl 1322.68053号
[16] Hardin，T.、Maranget，L.、Paganot，B.：lambda-sigma演算中的函数运行时。J.功能。程序。8(2), 131–176 (1998) ·Zbl 0918.03018号 ·doi:10.1017/S0956796898002986
[17] Krivine，J.-L.：一台俗称的lambda-calculus机器。高阶符号。计算。（2007年，本卷）
[18] Lamping，J.：最佳lambda演算约简算法。In:ACM程序设计语言原则研讨会（1990年）
[19] Leroy，X.：ZINC实验：ML语言的经济实现。技术报告117，INRIA（1990）
[20] Lévy，J.-J.：λ-演算的最佳减少。收录：Seldin，J.，Hindley，J.（编辑）致H.B.Curry：组合逻辑论文，Lambda微积分和形式主义，第159-191页（1980）
[21] Sestoft，P.：功能程序的分析和有效实施。哥本哈根大学博士论文，DIKU研究报告92/6（1991）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。