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