Hacker Next
The extended predicative Mahlo universe in Martin-Löf type theory (2023)academic.oup.com
30 points by danny00 27 days ago | 0 comments