[Топосы][Зависимые типы] Конференция по теории категорий
Летом планируется сабж, как категорно-ориентированная встреча MskHUG и не только. Возможно, кого-нибудь заинтересует :)
Ответ на:
комментарий
от OxiD
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.