Some improvements to Turner's algorithm for bracket abstraction
From MaRDI portal
Publication:3199391
DOI10.2307/2274655zbMath0714.03013MaRDI QIDQ3199391
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://ro.uow.edu.au/eispapers/1962
Related Items
Cites Work