Components
Hacker news
Account
Sample One
Sample One

The extended predicative Mahlo universe in Martin-Löf type theory (2023)

30 points
1/21/1970
4 days ago
by danny00

Comments

No comments

Sorry, we can't find any comments for now.