Publication:2882383
From MaRDI portal
zbMath1252.03030MaRDI QIDQ2882383
Benedetto Intrigila, Richard Statman
Publication date: 4 May 2012
Full work available at URL: http://iospress.metapress.com/content/a6n2u77686g23072/fulltext.html
03B40: Combinatory logic and lambda calculus