An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (via bediger4000) — discussion
#compsci #pdf
