Relative constructivity (1998)

by U Kohlenbach
Venue:J. Symbolic Logic