[1]
M. Goldberg, “An Adequate Left-Associated Binary Numeral System in the lambda-Calculus”, BRICS, vol. 2, no. 42, Jun. 1995.