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