Tsvira, Y., & 		Kolokoltseva, T.
(2026).
 Алгоритм реализации общей математической схемы теории типов в программном обеспечении.
<em>Современные информационные технологии и ИТ-образование, 22</em>(2).
Получено с <a href="http://sitito.cs.msu.ru/index.php/SITITO/article/view/1334" target="_new">http://sitito.cs.msu.ru/index.php/SITITO/article/view/1334</a>