» Crisis & Emergency » Permalink » Source ↑ 0 ↓ An Adequate Left-Associated Binary Numeral System in the lambda-Calculus Comments