Goldberg M. An Adequate Left-Associated Binary Numeral System in the lambda-Calculus. BRICS [Internet]. 12. juni 1995 [henvist 6. december 2025];2(42). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19943