View of An Adequate Left-Associated Binary Numeral System in the lambda-Calculus

Return to Article Details An Adequate Left-Associated Binary Numeral System in the lambda-Calculus Download Download PDF