[1]
U. Kohlenbach, “Foundational and Mathematical Uses of Higher Types”, BRICS, vol. 6, no. 31, Dec. 1999.