Foundational and mathematical uses of higher types (0)

by U Kohlenbach
Venue:Reflections on the foundations of mathematics. Lecture Notes in Logic 15, Assoc. Symbol. Logic and A.K. Peters