Tsvira, Yaroslav, & Tatyana Nikolaevna Gorbunova.
" Implementation of Type Theory as a Tool for Perceiving Mathematical Theory in Developed Software." <em>Modern Information Technologies and IT-Education</em> [Online], 20.4 (2024): n. pag. Web. 31 Mar. 2025