Kohlenbach, U. Foundational and Mathematical Uses of Higher Types. BRICS 1999, 6.