【作者】 郝兆宽；
【机构】 复旦大学哲学系；
【摘要】 本文首先引入了λ-演算的一些基本概念和经典结果,然后证明了H．P．Barendregt[1984]中提出的关于β-归约的垂直线引理。我们首先证明了n=2的情况,然后推广到任意的n。更多还原
