组合强约化合流性的一个直接证明
A direct proof of the confluence of combinatory strong reduction
摘要：
本文给出了组合强约化的一个不使用积分的收敛性证明。我也给简单和直接的证明标准化定理，这种减少和强规范化的简单类型的条款。
英文摘要：
I give a proof of the confluence of combinatory strong reduction that does not use the one of lambda-calculus. I also give simple and direct proofs of a standardization theorem for this reduction and the strong normalization of simply typed terms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
