Publication:3855149
From MaRDI portal
zbMath0422.03003MaRDI QIDQ3855149
Publication date: 1979
03B40: Combinatory logic and lambda calculus
zbMath0422.03003MaRDI QIDQ3855149
Publication date: 1979
03B40: Combinatory logic and lambda calculus