Tsvira, Yaroslav, & Tatyana Nikolaevna Gorbunova. " Реализация теории типов как инструмента для восприятия математической теории в разработанном программном обеспечении." Современные информационные технологии и ИТ-образование [Онлайн], 20.4 (2024): n. pag. Веб. 9 May. 2025