Universes in type theory part I—Inaccessibles and Mahlo
Date first appeared online 31/07/2014
DOI 10.1017/CBO9780511721151.009
Authors Setzer A.
Journal Name Logic Colloquium 2004
Volume

Documents