Goldberg, M. (1995). An Adequate Left-Associated Binary Numeral System in the lambda-Calculus. BRICS Report Series, 2(42). https://doi.org/10.7146/brics.v2i42.19943