,

Homotopy Type Theory

.
(2013)

Метаданные

тэги

Пользователи данного ресурса

  • @gdmcbain

Комментарии и рецензии