Toggle navigation
НАО «ЮРИНФОР»
image/svg+xml
О нас
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Мероприятия
Проекты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Материалы
Глоссарий
Наши статьи
Задать вопрос
Фоторепортажи
НАО «ЮРИНФОР»
Войти
Зарегистрироваться
image/svg+xml
О нас
Мероприятия
Проекты
Материалы
Задать вопрос
Фоторепортажи
Общие сведения
Новости
Цели и задачи
Наша команда
Наши статьи
Контакты
Вычислительное мышление
Краудсорсинг и совместность мультимоделей
Преобразование спорных данных. Концептуальные фильтры
Глоссарий
Наши статьи
Подписаться на новости
Отписаться
Новости
Семинар «Специфика отладки программ на языках с зависимыми типами»
состоялся 28 марта (18.00) 2024 г.
28.03.2024
Семинар «Использование редукции в библиотеке LambdaJS для обработки строк»
состоялся 14 марта (18.00) 2024 г.
14.03.2024
Семинар «Модульный рефакторинг библиотеки LambdaJS для обеспечения ссылочной прозрачности предоставляемых инструментов»
состоялся 22 февраля (18.00) 2024 г.
22.02.2024
Семинар «Поддержка диалектов JavaScript средствами Babel»
состоялся 05 февраля (18.00) 2024 г.
10.02.2024
Семинар «Транспортировка для зависимой пары в системе гомотопических типов»
состоялся 18 января (18.00) 2024 г.
18.01.2024
Семинар «Aлгоритм Бета для классической и интуиционистской логики»
состоялся 21 декабря (18.00) 2023 г.
21.12.2023
Семинар «Исчисление секвенций для моделирования логики в системах типов»
состоялся 07 декабря (18.00) 2023 г.
07.12.2023
Семинар «Типизация рекурсивных структур построения типов»
состоялся 27 ноября (18.00) 2023 г.
27.11.2023
Семинар «Семантика языка процессов для разработки моделирующих систем»
состоялся 09 ноября (18.00) 2023 г.
09.11.2023
Семинар «Экстенсиональность функций в гомотопической теории типов».
состоялся 30 октября (18.00) 2023 г.
30.10.2023
Предыдущая страница
Следующая страница
Разработчик