托本·莫根森。 lambda演算中的高效自我解释。 （英语） Zbl 0817.68051号 J.功能。程序。 2，第3期，345-363（1992）. 摘要：我们首先为\（\lambda\）术语提供了一个紧凑的表示模式，并展示了这是如何产生一个非常小而优雅的自解释程序的。然后，我们定义了自归约器的概念，并展示了如何将其写成一个小的\（\lambda\）项。自译员和自译员都被证明是正确的。最后，我们给出了表示模式的第二不动点定理的构造性证明。所有结构均已在计算机上实现，并通过实验验证了其正确性。时间安排表明，自我解释和自我暗示的效率很高，比直接使用“按需减少”策略的执行速度慢35到50倍。 引用于1审查引用于25文件 MSC公司： 68N17号 逻辑编程 03B40型 组合逻辑与lambda演算 关键词：λ演算 软件：方案 PDF格式BibTeX公司 XML格式引用 \textit{T.Æ.Mogensen}，J.Funct。程序。2，第3号，345--363（1992；Zbl 0817.68051） 全文： 内政部 参考文献： [1] 内政部：10.1109/LICS.1991.151645·doi:10.1109/LICS.1991.151645 [2] Barendregt，J.功能程序1第229页–（1991） [3] 巴伦德雷格特，《兰姆达演算：语法和语义》（1984年修订版）·Zbl 0551.03007号 [4] 雷诺兹，《计算机科学讲义》85，第97页–（1985） [5] Dybvig，Scheme Programming Language（1987年）·Zbl 1183.68139号 [6] 内政部：10.1016/0304-3975（90）90109-U·Zbl 0736.03003号 ·doi:10.1016/0304-3975（90）90109-U [7] Pfenning，程序。ACM-SIGPLAN编程语言设计与实现会议第199页–（1988） [8] 克莱恩，《元数学导论》（1952） [9] DOI:10.1017/S0956796800000058·Zbl 1155.68350号 ·doi:10.1017/S0956796800000058 [10] 内政部：10.1145/59287.77345·Zbl 0669.68014号 ·数字对象标识代码：10.1145/59287.77345 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。