Another algorithm for bracket abstraction
Another algorithm for bracket abstraction
复制标题
另一种括号抽象算法
DOI：
10.2307/2273733
复制
发表时间：
1979
影响因子：
0.6
通讯作者：
D. Turner
中科院分区：
文献类型：
--
作者：
D. Turner
这篇简短的文章提出了一种括号抽象算法[1]，当重复应用于一系列变量的抽象时，避免了结果表达式大小的组合爆炸。它与以前的解决方案[2]的不同之处在于只引入了有限数量的附加组合子，并且不需要在单个操作中一起处理所有要抽象的变量。
This short article presents an algorithm for bracket abstraction [1] which avoids a combinatorial explosion in the size of the resulting expression when applied repeatedly for abstraction in a series of variables. It differs from a previous solution [2] in introducing only a finite number of additional combinators and in not requiring that all the variables to be abstracted be treated together in a single operation.