Strongly Uniform Bounds from Semi-Constructive Proofs (2004)

by Philipp Gerhardy , Ulrich Kohlenbach
Citations:12 - 8 self