Ein algebraischer Beweis für das Church-Rosser-Theorem
暂无分享,去创建一个
[1] A. Church,et al. Some properties of conversion , 1936 .
[2] A. Church. The calculi of lambda-conversion , 1941 .
[3] J. Roger Hindley,et al. An Abstract form of the church-rosser theorem. I , 1969, Journal of Symbolic Logic.
[4] Barry K. Rosen,et al. Tree-Manipulating Systems and Church-Rosser Theorems , 1973, JACM.