Norihiro Yamada, Game semantics of homotopy type theory

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

Скачать клип Norihiro Yamada, Game semantics of homotopy type theory