Kohlenbach U. Foundational and Mathematical Uses of Higher Types. BRICS [Internet]. 1999 Dec. 1 [cited 2024 Apr. 25];6(31). Available from: https://tidsskrift.dk/brics/article/view/20100