Combinatory logic with discriminators
From MaRDI portal
Publication:5590803
DOI10.2307/2270850zbMath0195.02002OpenAlexW1975604118MaRDI QIDQ5590803
Publication date: 1969
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270850
Related Items
This page was built for publication: Combinatory logic with discriminators