✦ LIBER ✦

A New Proof of the Church-Rosser Theoremby H. B. Curry

✍ Scribed by Review by: J. Barkley Rosser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Simplified Proof of the Church–Rosser

✍ Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 171 KB

A Mathematical Treatment of the Rules of

✍ Review by: C. H. Langford 📂 Article 📅 1936 🏛 Association for Symbolic Logic 🌐 English ⚖ 196 KB

A New Proof of the H -Coloring Dichotomy

✍ Siggers, Mark H. 📂 Article 📅 2010 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 153 KB

A Revision of the Fundamental Rules of C

✍ Review by: Barkley Rosser 📂 Article 📅 1941 🏛 Association for Symbolic Logic 🌐 English ⚖ 185 KB

A Note on the Reduction of Gentzen's Cal

✍ Review by: Rózsa Péter 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

Remarks on the Definition and Nature of

✍ Review by: Alonzo Church 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 346 KB