Voevodsky : origins and motivations of univalent foundations

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