©RillNews
new
show
ask
jobs
submit
login
The extended predicative Mahlo universe in Martin-Löf type theory
academic.oup.com
24 points by
danny00
3 days ago
|
0 comments
add comment