НАО «ЮРИНФОР»

Подписаться на новости Отписаться

Новости

Семинар: «Задача построения оснований компьютинга на основе гомотопической теории типов»

состоялся 5 октября (18.00) 2023 г.
05.10.2023

Семинар: «Идентификация объектов средствами гомотопической теории типов»

состоялся 18 сентября (18.00) 2023 г.
18.09.2023

Семинар: «Гомотопии и эквивалентности в гомотопической теории типов»

состоялся 28 августа (18.00) 2023 г.
28.08.2023

Семинар: «Транспортировка в гомотопической теории типов»

состоялся 24 августа (18.00) 2023 г.
24.08.2023

Семинар: «Структура группоида высшего порядка в гомотопической теории типов»

состоялся 21 августа (18.00) 2023 г.
21.08.2023

Семинар: «Пути и операции над ними в гомотопической теории типов»

состоялся 17 августа (18.00) 2023 г.
17.08.2023

Семинар: «Пропозициональное равенство в гомотопической теории типов»

состоялся 14 августа (18.00) 2023 г.
14.08.2023

Семинар: «Рекурсия для зависимых пар в гомотопической теории типов».

состоялся 31 июля (18.00) 2023 г.
31.07.2023

Семинар «Зависимые пары в гомотопической теории типов»

состоялся 27 июля (18.00) 2023 г.
27.07.2023

Семинар «Зависимые функции в гомотопической теории типов»

состоялся 6 июля (18.00) 2023 г.
06.07.2023