The extended predicative Mahlo universe in Martin-Löf type theory20ddanny00 2 days ago 0 commentsRead Article on academic.oup.com RU version is available. Content is displayed in original English for accuracy.
Discussion (0 Comments)Read Original on HackerNews
No comments available or they could not be loaded.