JetBrains Research — наука, меняющая мир

Семинар: Базовые концепции гомотопической теории типов

Аннотация: В данном докладе мы обсудим отличия гомотопической и обычной теорий типов. Мы рассмотрим несколько конструкций, которые определяются в HoTT (такие как пропозициональное обрезание, фактор-типы и аксиома унивалентности), и примеры их использования. В частности, мы рассмотрим пример сортировки списков тотально упорядоченных элементов, который показывает необходимость определения дизъюнкции через джойны.

Докладчик --- Валерий Исаев

23.09.2019, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28