Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus

Mayer Goldberg. Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. Journal of Functional Programming, 10(6):607-623, 2000.

Abstract

Abstract is missing.