The Combinatory Algebras U and ... are not Equivalent

by Karl Gernot Belger