The extended predicative Mahlo universe in Martin-Löf type theory

Date first appeared online	12/05/2023
DOI	10.1093/logcom/exad022
Authors	Setzer A.
Journal Name	Journal of Logic and Computation
Volume	34

Documents

• 63064.pdf , Book, Distributed under the terms of a Creative Commons Attribution 4.0 License (CC BY 4.0).