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

#compsci #pdf