Constructive Type Theory and Homotopy - Steve Awodey

Просмотров: 1 | Время: 41:00 | Голосов: +1 +1 | Скачать

Скачать клип Constructive Type Theory and Homotopy - Steve Awodey