Теория категорий
739 подписчиков
Типы в языках программирования, моделирования, представления знаний и жизни
458 подписчиков