An adequate left-associated binary numeral system in the lambda calculus

(brics.dk) by fanf2 | Jan 10, 2026 | 0 comments on HN