The Strength of Some Martin-Löf Type Theories (1994)

Cached

Download Links

by Edward Griffor , Michael Rathjen
Venue:Arch. Math. Logic
Citations:27 - 5 self