A new proof of the church–rosser theorem

• 1 January 1952
• journal article
• Published by Elsevier in Indagationes Mathematicae
• Vol. 55, 16-23
• https://doi.org/10.1016/s1385-7258(52)50003-9

Abstract