N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
The extended predicative Mahlo universe in Martin-Löf type theory (2023)
(
academic.oup.com
)
30 points by
danny00
6 days ago
|
0 comments
add comment
Rendered at 22:27:17 GMT+0000 (Coordinated Universal Time) with Vercel.