Open Access
Translator Disclaimer
July 1968 Modified strong reduction in combinatory logic.
Kenneth Loewen
Notre Dame J. Formal Logic 9(3): 265-270 (July 1968). DOI: 10.1305/ndjfl/1093893461
First Page PDF

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

JOURNAL ARTICLE
6 PAGES


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