A consistent combinatory logic with an inverse to equality
From MaRDI portal
Publication:3889022
DOI10.2307/2273420zbMath0445.03003MaRDI QIDQ3889022
Publication date: 1980
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273420
03B40: Combinatory logic and lambda calculus
Related Items
Cites Work