Guest
Login
Sign Up
Site settings
Forgot Password?
Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics
Autoplay video
Hide player controls
Hide resume playing