Higher Inductive Types in Cubical Computational Type Theory

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

Скачать клип Higher Inductive Types in Cubical Computational Type Theory