Семинар «Экстенсиональность функций в гомотопической теории типов». состоялся 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