3 ms·An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus1 points by todsacerdoti 10mo ago