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