LINUX.ORG.RU

Лекции по гомотопической теории типов

 hott,


3

2

!Ъ — тыц

Ъ:

6 февраля в 19:00 на 4-м этаже бизнес-центра «Таймс» (рядом с Кантемировским мостом) на базе института биоинформатики JetBrains стартует курс лекций Валерия Исаева (СПбАУ), напрямую посвященный гомотопической теории типов.

Первую лекцию можно посмотреть вот здесь

★★★★★

в виде текста не будет?

emulek
()

Борщ дистиллированный.

anonymous
()
Ответ на: комментарий от Deleted

Не нужно в саенс ничего тащить! Анонимусу в саенс нельзя и что? Вон там напильник что творит!

anonymous
()
Ответ на: комментарий от anonymous

science

клоунада

linux.org.ru

а, точно. прошу прощения.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.