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

Семинар «Экстенсиональность функций в гомотопической теории типов».

состоялся 30 октября (18.00) 2023 г.
30.10.2023

Семинар: «Среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства (продолжение)»

состоялся 16 октября (18.00) 2023 г.
16.10.2023

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

состоялся 12 октября (18.00) 2023 г.
12.10.2023

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

состоялся 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