Compact Numeral Representation with Combinators
Krishnamurthy, E. V. ; Vickers, B. P.
J. Symbolic Logic, Tome 52 (1987) no. 1, p. 519-525 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 1987-06-14
Classification:  
@article{1183742378,
     author = {Krishnamurthy, E. V. and Vickers, B. P.},
     title = {Compact Numeral Representation with Combinators},
     journal = {J. Symbolic Logic},
     volume = {52},
     number = {1},
     year = {1987},
     pages = { 519-525},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742378}
}

Krishnamurthy, E. V.; Vickers, B. P. Compact Numeral Representation with Combinators. J. Symbolic Logic, Tome 52 (1987) no. 1, pp.  519-525. http://gdmltest.u-ga.fr/item/1183742378/