Pottinger, Garrel The Church-Rosser theorem for the typed lambda-calculus with pairing pairing. (English) Zbl 0476.03026 Notre Dame J. Formal Logic 22, 264-268 (1981). MSC: 03B40 PDFBibTeX XMLCite \textit{G. Pottinger}, Notre Dame J. Formal Logic 22, 264--268 (1981; Zbl 0476.03026) Full Text: DOI
Pottinger, Garrel The Church-Rosser theorem for the typed \(\lambda\)-calculus with surjective pairing. (English) Zbl 0423.03009 Notre Dame J. Formal Logic (to appear). MSC: 03B40 PDFBibTeX XML