Translator Disclaimer
July 1981 The Church-Rosser theorem for the typed $\lambda$-calculus with surjective pairing.
Garrel Pottinger
Notre Dame J. Formal Logic 22(3): 264-268 (July 1981). DOI: 10.1305/ndjfl/1093883461
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
5 PAGES


SHARE
Vol.22 • No. 3 • July 1981
Back to Top