View of An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version)

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