Translator Disclaimer
April 1976 Lambda-calculus terms that reduce to themselves.
Bruce Lercher
Notre Dame J. Formal Logic 17(2): 291-292 (April 1976). DOI: 10.1305/ndjfl/1093887539
First Page PDF

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

JOURNAL ARTICLE
2 PAGES


SHARE
Vol.17 • No. 2 • April 1976
Back to Top