Kohlenbach, U. (1999) “Foundational and Mathematical Uses of Higher Types”, BRICS Report Series, 6(31). doi: 10.7146/brics.v6i31.20100.