U. Kohlenbach, “Foundational and Mathematical Uses of Higher Types”, BRICS, bd. 6, nr. 31, dec. 1999.