The strength of some Martin-Lof type theories, (1994)

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