Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory III

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

Скачать клип Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory III