带嵌入式回读的最优归约的令牌传递网实现
计算机科学中的逻辑
2015-12-15 v2 编程语言
摘要
在本文中，我们介绍了一种用于纯无类型lambda演算最优归约的新的交互网实现。与其他实现不同，我们的实现利用所谓的令牌传递网方法，无论交互网归约策略如何，都能达到范式。另一个新特性是回读机制，它同样在无需脱离交互网形式体系的情况下实现。
引用
@article{arxiv.1512.02995,
title = {A token-passing net implementation of optimal reduction with embedded read-back},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1512.02995},
year = {2015}
}
备注
7 pages