H
Hacker News
Top
Best
New
Posted by danny00 6 days ago
The extended predicative Mahlo universe in Martin-Löf type theory (2023)
(academic.oup.com)
30 points
|
0 comments