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