Jean E. Vuillemin
-
Binary trees as a computational framework
Computer Languages, Systems and Structures
We construct a natural number n 1 by trichotomyn = g + Xpd; Xp = 22p; 0 · g