Expedited Broda-Damas bracket abstraction
From MaRDI portal
Publication:2710613
DOI10.2307/2695081zbMath0977.03013MaRDI QIDQ2710613
Publication date: 21 January 2002
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://ro.uow.edu.au/eispapers/2703
03B40: Combinatory logic and lambda calculus
Cites Work