Read news on Löf type theory with our app.
Read more in the app
The extended predicative Mahlo universe in Martin-Löf type theory (2023)