Article contents
Compact numeral representation with combinators
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1987
References
REFERENCES
- 1
- Cited by