3 01 A Functional Programmer's Guide to Homotopy Type Theory

Просмотров: 21,320 | Время: 01:00:34 | Голосов: +1 +1 | Скачать

Скачать клип 3 01 A Functional Programmer's Guide to Homotopy Type Theory