On adding (ξ) to weak equality in combinatory logic
From MaRDI portal
Publication:3480014
DOI10.2307/2274872zbMath0702.03007OpenAlexW1970748964MaRDI QIDQ3480014
Jonathan P. Seldin, Martin W. Bunder, J. Roger Hindley
Publication date: 1989
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274872
Related Items
Cites Work