两个λ项操作等价的语法证明
逻辑
2009-05-07 v1
摘要
本文给出了与λ项（即的η无穷展开）操作等价的纯语法证明。
引用
@article{arxiv.0905.0769,
title = {A syntactical proof of the operational equivalence of two $\lambda$-terms},
author = {René David and Karim Nour},
journal= {arXiv preprint arXiv:0905.0769},
year = {2009}
}