The completeness of combinatory logic with discriminators
From MaRDI portal
Publication:5921245
DOI10.1305/ndjfl/1093890995zbMath0214.01904OpenAlexW1976522034MaRDI QIDQ5921245
Publication date: 1973
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093890995
This page was built for publication: The completeness of combinatory logic with discriminators