TSVIRA, Yaroslav Olegovich; 						KOLOKOLTSEVA, Tatiana Nikolaevna.
 Алгоритм реализации общей математической схемы теории типов в программном обеспечении.
<strong>Современные информационные технологии и ИТ-образование</strong>, [S.l.], v. 22, n. 2, july 2026.
ISSN 2411-1473. Доступно на: &lt;<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>&gt;. Дата доступа: 20 aug. 2026