Compact numeral representation with combinators
From MaRDI portal
Publication:3028973
DOI10.2307/2274398zbMath0626.03009OpenAlexW2010552618MaRDI QIDQ3028973
B. P. Vickers, E. V. Krishnamurthy
Publication date: 1987
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274398
combinator representation of numeral systemslexicographic ordering of words over a finite alphabetlogarithmic space complexity of symbols
Cites Work