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 |
Date first appeared online | 31/07/2014 |
DOI | 10.1017/CBO9780511721151.009 |
Authors | Setzer A. |
Journal Name | Logic Colloquium 2004 |
Volume |