匹配扇问题的一种非纯解法
计算机科学中的逻辑
2018-04-03 v3
摘要
我们提出了一种算法，用于解决在无类型纯 lambda 演算的最优归约交互网实现中的匹配扇问题，且无需使用任何额外的代理类型。该算法依赖于特定的交互网归约策略，并在其中一条交互规则中涉及副作用。
引用
@article{arxiv.1710.07516,
title = {An impure solution to the problem of matching fans},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1710.07516},
year = {2018}
}
备注
3 pages