Добро пожаловать

Меня зовут Игорь и этот сайт содержит обсуждения и материалы по интересующим меня темам.

Кроме них, на сайте есть раздел, посвящённый обучению рисования в Inkscape.

Области моих интересов

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

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

ORCID

0009-0006-9809-8342

SPIN

8814-2274

Scopus

профиль