Игорь Слепцов

Приветствую на моей странице, посвященной областям моего интереса:

Computer Science
- λ-исчисление
- Теория типов
  - Зависимые типы
  - Гомотопические типы
  - Линейные типы
- Теория категорий (применимо к задачам моделирования и концептуализации)
Программирование
- функциональные и аппликативные языки программирования
- реализация и сопровождение чистых функциональных DSL
- программирование пошаговых детерминированных процессов взаимодействия
и многое другое…

Мои публикации

ORCID: 0009-0006-9809-8342
SPIN: 8814-2274
Scopus: профиль

Контакты

Вы можете написать мне письмо по почте.