具有内嵌回读的令牌传递最优归约
计算机科学中的逻辑
2016-09-14 v1
摘要
我们引入了纯无类型 lambda 演算最优归约的一种新的交互网实现。与其他实现不同，我们的实现使用所谓的令牌传递网方法以及交互网的非确定性扩展，允许在不考虑交互网归约策略的情况下到达范式。另一个新特征是在不离开交互网形式体系的情况下实现的回读机制。
引用
@article{arxiv.1609.03644,
title = {Token-passing Optimal Reduction with Embedded Read-back},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1609.03644},
year = {2016}
}
备注
In Proceedings TERMGRAPH 2016, arXiv:1609.03014