Tsvira, Yaroslav, AND 		Gorbunova, Tatyana.
" Реализация теории типов как инструмента для восприятия математической теории в разработанном программном обеспечении" <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], Том 20 Номер 4 (15 December 2024)