标签： algorithm functional-programming lambda-calculus
有λ-calculus terms on interaction nets的已知实现。但是，它过于复杂和低效。众所周知，Lamping的抽象算法能够最优化地将非常大的λ-演算项子集评估为正规形式。此外，它与交互组合器非常相似，只有一个关键区别：不是2种类型的节点，而是存在无限可能节点的无限族。换句话说，Lamping的抽象算法只是交互组合器和整数标签。
是否有可能在交互组合器上有效地模拟这些整数标签（以及抽象算法）？