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

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