An Unsolvable Numeral System in lambda Calculus

Erik Barendsen. An Unsolvable Numeral System in lambda Calculus. Journal of Functional Programming, 1(3):367-372, 1991.

Abstract

Abstract is missing.