Foundational and mathematical uses of higher types (1999)

by Ulrich Kohlenbach
Venue:REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAY IN HONOR OF SOLOMON FEFERMAN