The extended predicative Mahlo universe in Martin-Löf type theory (2023) (academic.oup.com) 30 points by danny00 4mo ago ↗ HN
0 comments
[ 2.7 ms ] story [ 11.2 ms ] threadNo comments yet.