▲ 1 An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus (brics.dk) by todsacerdoti | Jan 9, 2026 | 0 comments on HN Visit Link