Hacker News

news newest show ask jobs

danny00

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

28 points 0 comments 3 days ago

hn-front (c) 2024 voximity

source