andrei rodin: "univalent foundations and applied mathematics"
Published Streamed 1 year ago • 2K plays • Length 1:03:05Download video MP4
Download video MP3
Similar videos
-
1:02:58
andrei v. rodin --- vladimir voevodsky’s unachieved project.
-
50:13
univalent foundations: new foundations of mathematics - vladimir voevodsky
-
47:20
benedikt ahrens - univalent foundations and the unimath library - ipam at ucla
-
57:55
overview of univalent foundations - vladimir voevodsky
-
1:07:33
univalent foundations of mathematics - vladimir voevodsky
-
1:04:40
anders mortberg: "cubical methods in homotopy type theory and univalent foundations"
-
1:01:13
univalent foundations and the equivalence principle - benedikt ahrens
-
13:31
homotopy type theory discussed - computerphile
-
50:13
univalent foundations: new foundations of mathematics | vladimir voevodsky
-
51:49
the joy of abstract mathematical thinking - with eugenia cheng
-
55:41
univalent foundations seminar - steve awodey
-
1:04:53
how i became seduced by univalent foundations
-
14:17
univalent foundations and the equivalence principle - benedikt ahrens