A logical uniform boundedness principle for abstract metric and hyperbolic spaces (2006)

by U Kohlenbach
Venue:Electronic Notes in Theoretical Computer Sci