Offline
day
week
The extended predicative Mahlo universe in Martin-Löf type theory (2023)
28 points
|
academic.oup.com
|
danny00
|
2day