The strength of some Martin-Löf type theories (1994)

by E Griffor, M Rathjen
Venue:Archive for Mathematical Logic