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