嵌入回读的令牌传递最优约简
Token-passing Optimal Reduction with Embedded Read-back
摘要：
本文介绍了一种新的无类型λ演算最优约简的交互网实现。与其他人不同，我们的实现允许达到范式，而不管使用所谓的令牌传递网和非确定性扩展的方法的交互网的减少策略。另一个新特性是在不脱离交互网络的形式的情况下实现的读回机制。
英文摘要：
We introduce a new interaction net implementation of optimal reduction for the pure untyped lambda calculus. Unlike others, our implementation allows to reach normal form regardless of the interaction net reduction strategy using the approach of so-called token-passing nets and a non-deterministic extension for interaction nets. Another new feature is the read-back mechanism implemented without leaving the formalism of interaction nets.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
