Tsvira, Yaroslav, & Tatiana Nikolaevna Kolokoltseva.
" Алгоритм реализации общей математической схемы теории типов в программном обеспечении." <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], 22.2 (2026): n. pag. Веб. 21 Aug. 2026