A New Proof of the Church-Rosser Theorem
✍
Review by: J. Barkley Rosser
📂
Article
📅
1956
🏛
Association for Symbolic Logic
🌐
English
⚖ 329 KB