Tsvira, Y., & Gorbunova, T. (2024). Реализация теории типов как инструмента для восприятия математической теории в разработанном программном обеспечении. Современные информационные технологии и ИТ-образование, 20(4). Получено с http://sitito.cs.msu.ru/index.php/SITITO/article/view/1168