Don't have Telegram yet? Try it now!
Типы в языках программирования, моделирования, представления знаний и жизни
324 members, 111 online
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).

STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
If you have Telegram, you can view and join
Типы в языках программирования, моделирования, представления знаний и жизни right away.