A academic.oup.com The extended predicative Mahlo universe in Martin-Löf type theory (2023) 30 points danny00 6 months ago 0 comments
