Compact numeral representation with combinators
E. V. Krishnamurthy, B. P. Vickers · Journal of Symbolic Logic · 1987
Abstract This paper is concerned with the combinator representation of numeral systems with logarithmic space complexity of symbols. The principle used is based on the lexicographic ordering of words over a finite alphabet.