An Adequate Left-Associated Binary Numeral System in the tex2html_wrap_inline19 -Calculus (Revised Version)

Mayer Goldberg

March 1996


This paper introduces a sequence of tex2html_wrap_inline19 -expressions modelling the binary expansion of integers. We derive expressions computing the test for zero, the successor function, and the predecessor function, thereby showing the sequence to be an adequate numeral system. These functions can be computed efficiently. Their complexity is independent of the order of evaluation

Available as PostScript, PDF, DVI.


Last modified: 2003-06-08 by webmaster.