López-Escobar, E. G. K. Graphical representation of the theorem of Church and Rosser. (Spanish) Zbl 0801.03014 Rev. Colomb. Mat. 27, No. 3-4, 267-280 (1993). Summary: Using a notation is the style of the “Begriffsschrift” of G. Frege, we give a demonstration of Church and Rosser’s theorem for a large set of combinatorial systems. MSC: 03B40 Combinatory logic and lambda calculus Keywords:Church-Rosser theorem; combinatorial systems PDFBibTeX XMLCite \textit{E. G. K. López-Escobar}, Rev. Colomb. Mat. 27, No. 3--4, 267--280 (1993; Zbl 0801.03014) Full Text: EuDML