Tsvira, Y., & Gorbunova, T. 2024 Dec 15. Реализация теории типов как инструмента для восприятия математической теории в разработанном программном обеспечении. Современные информационные технологии и ИТ-образование. [Онлайн] 20:4