Tsvira, Yaroslav, AND 		Kolokoltseva, Tatiana.
" Алгоритм реализации общей математической схемы теории типов в программном обеспечении" <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], Том 22 Номер 2 (20 July 2026)