An adequate and efficient left-associated binary numeral system in the λ-calculus
From MaRDI portal
Publication:2713367
DOI10.1017/S0956796800003804zbMath0974.03017MaRDI QIDQ2713367
Publication date: 7 May 2001
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items