Univalent foundations and the large scale formalization of mathematics

Advertisements
This entry was posted in Philosophie. Bookmark the permalink.