5 - Kick-off afternoon : Vladimir Voevodsy, Univalent Foundations
Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics
1 month ago 00:02:31 1
1 month ago 00:04:02 1
1 month ago 00:00:59 1
1 month ago 02:55:28 1
1 month ago 00:11:16 1
1 month ago 00:20:45 1
1 month ago 00:26:27 1
1 month ago 00:01:14 1
1 month ago 00:01:00 1
1 month ago 00:17:25 1
1 month ago 00:10:03 1
1 month ago 01:16:09 1
1 month ago 00:03:32 1
1 month ago 00:28:58 1
1 month ago 01:03:31 1
1 month ago 00:00:00 1
1 month ago 00:33:36 1
1 month ago 00:00:14 1
1 month ago 00:29:28 1
1 month ago 01:19:32 2
1 month ago 00:03:09 1
1 month ago 00:29:51 2
1 month ago 00:06:59 1
1 month ago 03:28:38 1
![[Аудиоспектакль] Ирина Одоевцева - На чужих берегах](https://sun9-73.userapi.com/WMdw0edGV_3_Jo0oI1E6sD0u4X8hqeRCJV9vzA/4elL8V31nqI.jpg)