1.
Goldberg M. An Adequate Left-Associated Binary Numeral System in the lambda-Calculus. BRICS [Internet]. 1995 Jun. 12 [cited 2024 Mar. 28];2(42). Available from: https://tidsskrift.dk/brics/article/view/19943