×

Graphical representation of the theorem of Church and Rosser. (Spanish) Zbl 0801.03014

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
PDFBibTeX XMLCite
Full Text: EuDML