Compact Numeral Representation with Combinators

E. V. Krishnamurthy, B. P. Vickers. Compact Numeral Representation with Combinators. Journal of Symbolic Logic, 52(2):519-525, 1987.

Abstract

Abstract is missing.