logoalt Hacker News

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

24 points • by danny00 • last Sunday at 12:43 PM • 0 comments • view on HN

Comments