组合强归约合流性的直接证明
逻辑
2009-05-19 v1 计算机科学中的逻辑
摘要
我给出了组合强归约合流性的一个证明，该证明不依赖于λ-演算的合流性。我还给出了该归约的一个标准化定理以及简单类型项强规范化的简单直接证明。
引用
@article{arxiv.0905.2545,
title = {A direct proof of the confluence of combinatory strong reduction},
author = {René David},
journal= {arXiv preprint arXiv:0905.2545},
year = {2009}
}
备注
To appear in TCS