×
保罗·塔劳

使用压缩de Bruijn指数对lambda术语进行排名/取消排名。 （英语） Zbl 1417.68028号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。9150, 118-133 (2015).
摘要：我们引入了lambda项的压缩de Bruijn表示，并将其双射定义为标准表示。我们的压缩项有助于推导lambda项及其推断的简单类型的按大小排序和取消排序算法。我们将我们的算法指定为一个识字的Prolog程序。
有关整个系列，请参见[Zbl 1316.68015号].

引用于三文件

MSC公司：

68甲18 函数编程和lambda演算
68N17号 逻辑编程

关键词：

λ演算；德布鲁因指数；λ-长期压缩；lambda项的组合；lambda项的排序与解排序；lambda项的双射哥德尔数

软件：

组织环境信息系统；自动化
PDF格式BibTeX公司 XML格式引用
\textit{P.Tarau}，莱克特。票据计算。科学。9150、118--133（2015；Zbl 1417.68028）
全文： 内政部

参考文献：

[1] Barendregt，HP，《Lambda Calculus及其语法和语义》（1984），北荷兰：爱思唯尔，北荷兰·Zbl 0551.03007号
[2] Bruijn，NGD，Lambda微积分符号与无名假人，自动公式操作工具，应用于Church-Rosser定理，Indag。《数学》，34，381-392（1972）·兹比尔0253.68007 ·doi:10.1016/1385-7258（72）90034-0
[3] 麦克布莱德：我不是一个数字，我是一个经典黑客（2010）。博客条目：http://mazzo.li/epilogue/index.html
[4] Stanley，RP，《枚举组合数学》（1986），贝尔蒙特：华兹华斯出版公司，贝尔蒙特·Zbl 0608.05001号 ·doi:10.1007/978-1-4615-9763-6
[5] Kreher，DL；Stinson，D.，《组合算法：生成、枚举和搜索》（1999），美国：CRC出版社，美国·Zbl 0911.05002号
[6] Gödel，K.，《数学与物理学原理》，Monatsheft für Mathematik und Physik，38，173-198（1931）·JFM 57.0054.02号 ·doi:10.1007/BF01700692
[7] 格里吉尔，K。；Lescanne，P.，《计算和生成λ项》，J.Funct。程序。，23, 5, 594-628 (2013) ·Zbl 1311.68045号 ·doi:10.1017/S0956796813000178
[8] 斯隆，N.J.A.：整数序列的在线百科全书（2014）。电子发布于网址：https://oeis.org/ ·Zbl 1044.11108号
[9] Cegielski，P。；Richard，D.，《关于允许列表编码和解码的算术一阶理论》，Theor。计算。科学。，222, 1-2, 55-75 (1999) ·Zbl 0930.68032号 ·doi:10.1016/S0304-3975（97）00281-8
[10] Tarau，P.：一种嵌入式声明性数据转换语言。2009年9月，葡萄牙科英布拉，第11届国际ACM SIGPLAN研讨会论文集，第171-182页。ACM（2009）
[11] Lehmer，DH；埃德温，F。；贝肯巴赫，RE，《组合学的机床》，克里格应用组合数学，5-30（1964），纽约：威利，纽约·Zbl 0144.00304号
[12] Knuth，DE，《计算机编程的艺术》，第4卷，第3分册：生成所有组合和分区（2005），波士顿：Addison-Wesley Professional出版社，波士顿·Zbl 1127.68068号
[13] Tarau，P.，序言项的紧凑序列化（带有加泰罗尼亚语骨架、Cantor元组和哥德尔数），理论实践。逻辑程序。，13，4-5，847-861（2013）·Zbl 1286.68059号 ·doi:10.1017/S1471068413000537
[14] David，R.，Raffalli，C.，Theyssier，G.，Grygiel，K.，Kozik，J.，Zaionc，M.：随机lambda项的一些性质。逻辑。方法计算。科学。9(1) (2009). doi:10.1.1.244.5073&rep=rep1&type=pdf·Zbl 1278.03034号
[15] David，R.，Grygiel，K.，Kozik，J.，Raffalli，C.，Theyssier，G.，Zaionc，M.：几乎所有（lambda）项都是渐近强规范化的（2010）。预打印：arXiv:math。LO/0903.5505v3·Zbl 1278.03034号
[16] 巴伦德雷格特，惠普；Abramsky，S。；Gabbay博士。；Maibaum，T.，Lambda calculi with types，《计算机科学逻辑手册》（1991），纽约：牛津大学出版社，纽约
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。