Proof theoretical strength of Martin-Lof Type Theory with Wtype and one universe (1993)

by A Setzer
Venue:PhD thesis, Fakultat fur Mathematik der LudwigMaximilians-Universitat Munchen