An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
Date first appeared online
DOI
Authors Setzer A.
Journal Name
Volume Proceedings in honour of the 100th birthday of Kurt Schuette

Documents