Publication:3220556
From MaRDI portal
zbMath0556.03013MaRDI QIDQ3220556
Publication date: 1984
03B40: Combinatory logic and lambda calculus
zbMath0556.03013MaRDI QIDQ3220556
Publication date: 1984
03B40: Combinatory logic and lambda calculus