doc/METAMODEL/readme.md

MTC

МетаТеория связей из METAMODEL/LINK

Also

• https://github.com/bpmbpm/doc/tree/main/math

category

• Категории типов. Часть 6. Расширения Кана Функциональное программирование
• Hobbes - функциональный язык программирования со статической типизацией. Он поддерживает тайпклассы и в этом близок к Haskell, но в остальном очень далёк от него: в Hobbes не ленивая, а строгая модель вычислений, при вызове функций сначала слева направо вычисляются её аргументы. https://habr.com/ru/articles/1008138/