高阶递归方案中的IO与OI
计算机科学中的逻辑
2012-02-17 v1
摘要
我们提出对高阶递归方案推导模式的研究，证明使用最内-最外推导（IO）从方案获得的值树与使用无限制推导获得的值树相同。鉴于高阶递归方案可用作函数式程序的模型，最内-最外推导策略代表了按值调用求值策略的理论视角。
引用
@article{arxiv.1202.3498,
title = {IO vs OI in Higher-Order Recursion Schemes},
author = {Axel Haddad},
journal= {arXiv preprint arXiv:1202.3498},
year = {2012}
}
备注
In Proceedings FICS 2012, arXiv:1202.3174