The extended predicative Mahlo universe in Martin-Löf type theory (2023)(academic.oup.com)
academic.oup.com
The extended predicative Mahlo universe in Martin-Löf type theory (2023)
https://academic.oup.com/logcom/article/34/6/1032/7158523
0 comments
—