无预言机的优化归约？
计算机科学中的逻辑
2017-01-24 v2
摘要
我们提出一种方法，用于在纯无类型λ演算的优化归约的交互网实现中解决fan匹配问题，而不使用任何额外的智能体类型。我们的实现比Lamping算法的抽象版本支持更广的λ项类，并且在总交互次数上击败了闭归约的交互网实现。
引用
@article{arxiv.1701.04691,
title = {Optimal Reduction without Oracle?},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1701.04691},
year = {2017}
}
备注
3 pages