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