Goldberg, Mayer. 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.