Open Access
Translator Disclaimer
July 1968 A standardization theorem for strong reduction.
Kenneth Loewen
Notre Dame J. Formal Logic 9(3): 271-283 (July 1968). DOI: 10.1305/ndjfl/1093893462
First Page PDF

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

JOURNAL ARTICLE
13 PAGES


SHARE
Vol.9 • No. 3 • July 1968
Back to Top