Univalent Foundations Seminar - Steve Awodey

6 608 просмотров · 10 лет назад

Institute for Advanced Study

159 тыс. подписчиков

6 608 просмотров · 10 лет назад

Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit http://video.ias.edu