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