Kohlenbach, Ulrich. “Foundational and Mathematical Uses of Higher Types”. BRICS Report Series 6, no. 31 (December 1, 1999). Accessed February 11, 2026. https://tidsskrift.dk/brics/article/view/20100.