Univalence from a computer science point-of-view - Dan Licata
Institute for Advanced Study
0:00 / 0:00
Univalence from a computer science point-of-view - Dan Licata
5 041 просмотр · 7 лет назад
Institute for Advanced Study
159 тыс. подписчиков
5 041 просмотр · 7 лет назад
Vladimir Voevodsky Memorial Conference
Topic: Univalence from a computer science point-of-view
Speaker: Dan Licata
Affiliation: Wesleyan University
Date: September 14, 2018
For more video please visit http://video.ias.edu
