Kohlenbach U. Foundational and Mathematical Uses of Higher Types. BRICS [Internet]. 1. december 1999 [henvist 6. december 2025];6(31). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20100