Publication:2851085
From MaRDI portal
zbMath1272.03073MaRDI QIDQ2851085
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050589
03B40: Combinatory logic and lambda calculus
Related Items